Theorem Submonoid.LocalizationMap.mk'_cancel

Modification history

2023-12-31 14:56

Mathlib/GroupTheory/MonoidLocalization.lean

chore(Algebra.Module.LocalizedModule): use `IsLocalization` instead of `Localization` (#9167) …

Added Submonoid.LocalizationMap.mk'_cancel View on Github →