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: Dec 20 2025 at 21:32 UTC
I renamed the topic to fix the link (was mathlib3#729).
Last updated: Dec 20 2025 at 21:32 UTC