Theorem Submonoid.LocalizationMap.isCancelMul

Modification history

2025-08-24 13:04

Mathlib/GroupTheory/MonoidLocalization/Basic.lean

chore(Algebra): generalize results on IsLocalization to Submonoid.LocalizationMap (#27862) …

Modified Submonoid.LocalizationMap.isCancelMul View on Github →

2025-08-22 15:03

Mathlib/GroupTheory/MonoidLocalization/Basic.lean

chore(MonoidLocalization): get rid of Submonoid.LocalizationWithZeroMap (#27842) …

Added Submonoid.LocalizationMap.isCancelMul View on Github →