Def Profinite.asLimitCone

Modification history

2023-05-10 07:14

Mathlib/Topology/Category/Profinite/AsLimit.lean

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

Added Profinite.asLimitCone View on Github →