Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-12 08:45 b6d10283

View on Github →

chore(topology/sequences): golf a few proofs (#14081)

Estimated changes