Theorem is_localization.submonoid_map_le_is_unit
Modification history
2022-09-13 04:22
src/ring_theory/localization/inv_submonoid.lean
chore(ring_theory/local_properties): remove coercions from `ring_hom` to `monoid_hom` (#16453) …
Modified is_localization.submonoid_map_le_is_unitView on Github →