Theorem CategoryTheory.GrothendieckTopology.MayerVietorisSquare.isPushoutAddCommGrpFreeSheaf

Modification history

2024-08-23 21:19
Mathlib/CategoryTheory/Sites/MayerVietorisSquare.lean
feat(CategoryTheory/Sites): constructors for Mayer-Vietoris squares (#14867) …
Added CategoryTheory.GrothendieckTopology.MayerVietorisSquare.isPushoutAddCommGrpFreeSheafView on Github →