Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.TwoSquare
Modification history
2025-02-27 22:45
Mathlib/CategoryTheory/Functor/TwoSquare.lean
feat(CategoryTheory): 2-squares of functors (#22248) …
Modified
CategoryTheory.TwoSquare
View on Github →
2024-02-14 00:27
Mathlib/CategoryTheory/GuitartExact.lean
feat(CategoryTheory): Guitart exact squares (#10270) …
Added
CategoryTheory.TwoSquare
View on Github →