Theorem CategoryTheory.TwoSquare.guitartExact_op_iff

Modification history

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