Theorem RingHom.isUnit_map

Modification history

2024-11-13 20:45
Mathlib/Algebra/Ring/Hom/Basic.lean
chore(Algebra/Ring): find a better home for `RingHom.map_isUnit` (#18989) …
Modified RingHom.isUnit_mapView on Github →
2023-09-12 04:12
Mathlib/Algebra/Hom/Ring/Basic.lean
refactor: split Algebra.Hom.Group and Algebra.Hom.Ring (#7094)
Modified RingHom.isUnit_mapView on Github →
2022-12-17 23:54
Mathlib/Algebra/Hom/Ring.lean
chore: tidy various files (#1086)
Added RingHom.isUnit_mapView on Github →