Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring_topology.coinduced_continuous

Modification history

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