Theorem ordered_cancel_comm_monoid.char_zero_of_inj_zero
Modification history
2020-10-08 10:23
src/algebra/char_zero.lean
chore(algebra/char_zero): rename vars, add `with_top` instance (#4523) …
Deleted ordered_cancel_comm_monoid.char_zero_of_inj_zeroView on Github →