Zulip Chat Archive
Stream: general
Topic: exists_nat_pow_near
Notification Bot (Aug 17 2020 at 03:55):
This topic was moved here from #new members > Starting to contribute to mathlib by Scott Morrison
Last updated: Feb 28 2026 at 14:05 UTC
This topic was moved here from #new members > Starting to contribute to mathlib by Scott Morrison
Last updated: Feb 28 2026 at 14:05 UTC