Mathlib v3 is deprecated. Go to Mathlib v4

Theorem map_units_inv

Modification history

2022-08-16 01:42
src/algebra/hom/units.lean
feat(algebra/group_with_zero): generalize some lemmas (#15985) …
Added map_units_invView on Github →