Mathlib v3 is deprecated. Go to Mathlib v4

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