Theorem HomotopicalAlgebra.trivialFibrations_eq_unop

Modification history

2025-11-09 13:26
Mathlib/AlgebraicTopology/ModelCategory/CategoryWithCofibrations.lean
feat(AlgebraicTopology): the opposite of a model category structure (#31095) …
Added HomotopicalAlgebra.trivialFibrations_eq_unopView on Github →