Theorem is_unit.ne_zero
Modification history
2022-10-09 11:15
src/algebra/group_with_zero/basic.lean
chore(algebra/group_with_zero/basic): split into two files (#16866)
Modified is_unit.ne_zeroView on Github →2020-12-22 13:47
src/algebra/group_with_zero/basic.lean
chore(*): split some long lines (#5470)
Modified is_unit.ne_zeroView on Github →