Def CategoryTheory.ULiftHomULiftCategory.equivCongrLeft.{v',

Modification history

2025-10-28 23:08

Mathlib/CategoryTheory/Category/ULift.lean

feat(AlgebraicTopology): the homotopy category functor preserves products (#25780) …

Added CategoryTheory.ULiftHomULiftCategory.equivCongrLeft.{v',View on Github →