profinite): show Profinite is reflective in CompHaus (#6219)

Commit

4 years ago

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

Author

callesonne

Parents