Def Profinite.isoindexConeLift

Modification history

2023-11-13 12:59

Mathlib/Topology/Category/Profinite/Product.lean

fix: remove unused arguments (#8380) …

Modified Profinite.isoindexConeLift View on Github →

2023-10-10 20:30

Mathlib/Topology/Category/Profinite/Product.lean

feat: compact subsets in products as cofiltered limits of projections (#6578) …

Added Profinite.isoindexConeLift View on Github →