Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-10 19:12 cc6f039f

View on Github →

feat(equiv|set|topology): various additions (#5656) define sigma_compact_space update module doc for topology/subset_properties define shearing some lemmas in set.basic, equiv.mul_add and topology.instances.ennreal

Estimated changes