Theorem CategoryTheory.TwoSquare.guitartExact_iff_isConnected_rightwards

Modification history

2024-02-14 00:27
Mathlib/CategoryTheory/GuitartExact.lean
feat(CategoryTheory): Guitart exact squares (#10270) …
Added CategoryTheory.TwoSquare.guitartExact_iff_isConnected_rightwardsView on Github →