Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-28 20:10 ad2baee4

View on Github →

feat(topology/separation): t0_space and t1_space for α × β and Π i, α i (#14418)

Estimated changes