Mathlib v3 is deprecated. Go to Mathlib v4

Def localization.closure

Modification history

2018-04-10 13:58
ring_theory/localization.lean
refactor(ring_theory): unify monoid closure in ring theory with the one in group theory
Deleted localization.closureView on Github →
2018-03-08 11:25
ring_theory/localization.lean
feat(ring_theory): move localization
Added localization.closureView on Github →