Theorem ring_hom.map_units_inv
Modification history
2022-08-16 01:42
src/algebra/field/basic.lean
feat(algebra/group_with_zero): generalize some lemmas (#15985) …
Deleted ring_hom.map_units_invView on Github →2022-06-25 21:12
src/algebra/field/basic.lean
feat(algebra/field/basic): Semifields (#14683) …
Modified ring_hom.map_units_invView on Github →