Def CompHaus.presentation

Modification history

2023-08-22 17:26

Mathlib/Topology/Category/Stonean/Basic.lean

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

Added CompHaus.presentation View on Github →