Def is_localization.equiv_inv_submonoid
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.equiv_inv_submonoidView on Github →