Mathlib v3 is deprecated. Go to Mathlib v4

Theorem localization.subset_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.subset_closureView on Github →
2018-03-08 11:25
ring_theory/localization.lean
feat(ring_theory): move localization
Added localization.subset_closureView on Github →