Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-31 03:19 236f395a

View on Github →

chore(topology/compacts): add a missing simp lemma (#10063)

Estimated changes