Theorem IsLocalization.map_units_map_submonoid
Modification history
2024-08-13 13:38
Mathlib/RingTheory/Localization/Basic.lean
chore: backports from nightly-testing-2024-08-12 (#15756)
Modified IsLocalization.map_units_map_submonoidView on Github →