Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-12 10:09 2d708803

View on Github →

feat(topology/subset_properties): compact discrete spaces are finite (#6191) From lean-liquid

Estimated changes