Def CategoryTheory.TwoSquare.structuredArrowRightwardsOpEquivalence.functor

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.structuredArrowRightwardsOpEquivalence.functorView on Github →