Def Profinite.asLimitindexConeIso
Modification history
2023-11-30 10:58
Mathlib/Topology/Category/Profinite/Product.lean
chore(Profinite): allow more universe flexibility in Profinite/CofilteredLimit (#8613) …
Modified Profinite.asLimitindexConeIsoView on Github →