Theorem CategoryTheory.Limits.CoproductDisjoint.of_hasCoproduct

Modification history

2026-01-16 12:21
Mathlib/CategoryTheory/Limits/Shapes/DisjointCoproduct.lean
feat(AlgebraicGeometry): `Scheme` has disjoint coproducts (#34014) …
Added CategoryTheory.Limits.CoproductDisjoint.of_hasCoproductView on Github →