Def IsLocalization.invSubmonoid

Modification history

2023-05-03 13:39

Mathlib/RingTheory/Localization/InvSubmonoid.lean

feat: port RingTheory.Localization.InvSubmonoid (#3384)

Added IsLocalization.invSubmonoid View on Github →