Theorem divp_eq_div
Modification history
2022-08-03 17:15
src/algebra/hom/units.lean
feat(tactic/field_simp): extend `field_simp` to partial division and units (#14897) …
Modified divp_eq_divView on Github →2022-06-11 08:59
src/algebra/group_with_zero/basic.lean
feat(algebra/{group,hom}/units): Units in division monoids (#14212) …
Modified divp_eq_divView on Github →2022-01-05 23:45
src/algebra/group_with_zero/basic.lean
chore(*): notation for `units` (#11236)
Modified divp_eq_divView on Github →