Theorem FintypeCat.discreteTopology

Modification history

2023-05-01 01:58
Mathlib/Topology/Category/Profinite/Basic.lean
feat: port Topology.Category.Profinite.Basic (#3705)
Added FintypeCat.discreteTopologyView on Github →