Zulip Chat Archive
Stream: mathlib4
Topic: data.nat.basic mathlib4#729
Yury G. Kudryashov (Nov 30 2022 at 08:11):
I renamed the topic to fix the link (was mathlib3#729).
Last updated: May 02 2025 at 03:31 UTC
I renamed the topic to fix the link (was mathlib3#729).
Last updated: May 02 2025 at 03:31 UTC