Theorem CategoryTheory.TwoSquare.natTrans_op

Modification history

2025-04-14 03:47
Mathlib/CategoryTheory/Functor/TwoSquare.lean
feat(CategoryTheory): the dual of a Guitart exact `2`-square is Guitart exact (#22447) …
Added CategoryTheory.TwoSquare.natTrans_opView on Github →