Zulip Chat Archive Stream: general Topic: I found a new way to count declarations in mathlib Eric Wieser (Nov 23 2020 at 19:09): image.png Last updated: Feb 28 2026 at 14:05 UTC
