Def Profinite.lim

Modification history

2023-05-10 07:14
Mathlib/Topology/Category/Profinite/AsLimit.lean
feat: port Topology.Category.Profinite.AsLimit (#3875)
Added Profinite.limView on Github →