Theorem Submonoid.LocalizationWithZeroMap.isLeftRegular_of_le_IsCancelMulZero

Modification history

2024-01-17 22:12
Mathlib/GroupTheory/MonoidLocalization.lean
chore: tidy various files (#9728)
Deleted Submonoid.LocalizationWithZeroMap.isLeftRegular_of_le_IsCancelMulZeroView on Github →
2024-01-10 17:15
Mathlib/GroupTheory/MonoidLocalization.lean
feat: Injectivity of monoid localization (#9531) …
Added Submonoid.LocalizationWithZeroMap.isLeftRegular_of_le_IsCancelMulZeroView on Github →