Def HomotopicalAlgebra.PrepathObject.symm

Modification history

2025-08-11 11:23

Mathlib/AlgebraicTopology/ModelCategory/PathObject.lean

feat(AlgebraicTopology): path objects in model categories (#26958) …

Added HomotopicalAlgebra.PrepathObject.symm View on Github →