Def Profinite.of

Modification history

2024-07-17 17:39

Mathlib/Topology/Category/Profinite/Basic.lean

refactor(Topology/Category): refactor Profinite.Basic (#13909) …

Deleted Profinite.of View on Github →

2023-08-10 19:52

Mathlib/Topology/Category/Profinite/Basic.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Profinite.of View on Github →

2023-05-01 01:58

Mathlib/Topology/Category/Profinite/Basic.lean

feat: port Topology.Category.Profinite.Basic (#3705)

Added Profinite.of View on Github →