mathlib
fa9bf621 - feat(algebra/char_zero): add char_zero lemma for ordered_semirings (#6038)

Commit

4 years ago

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

Author

adomani

Parents

c2c686e4

mathlib fa9bf621 - feat(algebra/char_zero): add char_zero lemma for ordered_semirings (#6038)

mathlib
fa9bf621 - feat(algebra/char_zero): add char_zero lemma for ordered_semirings (#6038)