Def CategoryTheory.ULiftHom.objEquiv

Modification history

2025-10-28 23:08
Mathlib/CategoryTheory/Category/ULift.lean
feat(AlgebraicTopology): the homotopy category functor preserves products (#25780) …
Added CategoryTheory.ULiftHom.objEquivView on Github →