Def CategoryTheory.TwoSquare.vComp

Modification history

2025-02-27 22:45
Mathlib/CategoryTheory/Functor/TwoSquare.lean
feat(CategoryTheory): 2-squares of functors (#22248) …
Modified CategoryTheory.TwoSquare.vCompView on Github →
2024-06-04 08:15
Mathlib/CategoryTheory/GuitartExact/VerticalComposition.lean
feat(CategoryTheory): vertical composition of Guitart exact squares (#12627) …
Added CategoryTheory.TwoSquare.vCompView on Github →