Theorem is_unit_unit
Modification history
2021-03-26 18:26
src/algebra/group/units.lean
chore(algebra/group): rename `is_unit_unit` to `units.is_unit` (#6886)
Deleted is_unit_unitView on Github →2020-05-18 13:38
src/algebra/group/is_unit.lean
refactor(algebra): merge init_.algebra into algebra (#2707) …
Modified is_unit_unitView on Github →2020-04-03 12:34
src/algebra/group/is_unit.lean
feat(group_theory/monoid_localization): some homs induced on localizations: lift, map (#2118) …
Modified is_unit_unitView on Github →2020-03-06 19:21
src/algebra/group/is_unit.lean
refactor(group_theory/monoid_localization): use characteristic predicate (#2004) …
Modified is_unit_unitView on Github →