Def Profinite.asLimit

Modification history

2023-05-10 07:14

Mathlib/Topology/Category/Profinite/AsLimit.lean

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

Added Profinite.asLimit View on Github →