Mathlib v3 is deprecated. Go to Mathlib v4

Def localization.ring_topology

Modification history

2021-09-01 14:07
src/topology/algebra/localization.lean
feat(topology/algebra/localization): add topological localization (#8894) …
Added localization.ring_topologyView on Github →