Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-15 12:31 b1d05010

View on Github →

fix(analysis/topology/topological_space): Improve the lattice structure on opens (#511)

Estimated changes