Theorem CategoryTheory.TwoSquare.ext

Modification history

2025-02-27 22:45

Mathlib/CategoryTheory/Functor/TwoSquare.lean

feat(CategoryTheory): 2-squares of functors (#22248) …

Modified CategoryTheory.TwoSquare.ext View on Github →

2024-02-14 00:27

Mathlib/CategoryTheory/GuitartExact.lean

feat(CategoryTheory): Guitart exact squares (#10270) …

Added CategoryTheory.TwoSquare.ext View on Github →