Theorem CategoryTheory.Square.IsPushout.epi_f₂₄

Modification history

2024-08-23 21:19

Mathlib/CategoryTheory/Limits/Shapes/Pullback/Square.lean

feat(CategoryTheory/Sites): constructors for Mayer-Vietoris squares (#14867) …

Added CategoryTheory.Square.IsPushout.epi_f₂₄ View on Github →