Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-08 13:57 fe0f2a34

View on Github →

fix(analysis/topology/topological_structures): remove unnecessary hypothesis

Estimated changes