Def HomotopicalAlgebra.Precylinder.symm

Modification history

2025-07-15 08:10

Mathlib/AlgebraicTopology/ModelCategory/Cylinder.lean

feat(AlgebraicTopology): cylinder objects in model categories (#26171) …

Added HomotopicalAlgebra.Precylinder.symm View on Github →