Mathlib v3 is deprecated. Go to Mathlib v4

Def ctop.to_topsp

Modification history

2019-11-23 00:15

src/data/analysis/topology.lean

fix(*): lower instance priority (#1724) …

Added ctop.to_topsp View on Github →