Def CategoryTheory.MorphismProperty.MapFactorizationData.op

Modification history

2025-11-09 13:26
Mathlib/CategoryTheory/MorphismProperty/Factorization.lean
feat(AlgebraicTopology): the opposite of a model category structure (#31095) …
Added CategoryTheory.MorphismProperty.MapFactorizationData.opView on Github →