Def CategoryTheory.RetractArrow.unop

Modification history

2025-11-24 20:05
Mathlib/CategoryTheory/Retract.lean
chore: tidy various files (#31907)
Modified CategoryTheory.RetractArrow.unopView on Github →
2025-11-09 13:26
Mathlib/CategoryTheory/Retract.lean
feat(AlgebraicTopology): the opposite of a model category structure (#31095) …
Added CategoryTheory.RetractArrow.unopView on Github →