Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-18 11:09 5b579a2c

View on Github →

feat(topology/category/profinite): show Profinite is reflective in CompHaus (#6219) Show Profinite is reflective in CompHaus.

Estimated changes