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
feat(algebra/char_zero): add char_zero lemma for ordered_semirings (#6038) Relevant Zulip chat: https://leanprover.zulipchat.com/#narrow/stream/113489-new-members