Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-05 15:46 fa9bf621

View on Github →

feat(algebra/char_zero): add char_zero lemma for ordered_semirings (#6038) Relevant Zulip chat: https://leanprover.zulipchat.com/#narrow/stream/113489-new-members

Estimated changes