Stream: math-comp users

Topic: ✔ Got `_m_` while eliminating inductive proposition


view this post on Zulip Notification Bot (Sep 02 2022 at 03:14):

abab9579 has marked this topic as resolved.


Last updated: Jan 29 2023 at 19:02 UTC