Def Profinite.fintypeDiagram

Modification history

2023-05-10 07:14

Mathlib/Topology/Category/Profinite/AsLimit.lean

feat: port Topology.Category.Profinite.AsLimit (#3875)

Added Profinite.fintypeDiagram View on Github →