Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-18 22:20 3557e4dc

View on Github →

feat(topology/basic): add 2 lemmas about locally_finite families (#15485)

Estimated changes