Def CompHaus.presentation.π

Modification history

2024-07-30 16:32

Mathlib/Topology/Category/Stonean/Basic.lean

refactor(Topology/Category): refactor Stonean.Basic (#13911) …

Modified CompHaus.presentation.π View on Github →

2023-08-22 17:26

Mathlib/Topology/Category/Stonean/Basic.lean

feat: projectivity of `Stonean` in `CompHaus` (#5808) …

Added CompHaus.presentation.π View on Github →