Theorem CategoryTheory.Limits.opProdIsoCoprod_hom_snd

Modification history

2024-08-02 19:53
Mathlib/CategoryTheory/Limits/Opposites.lean
feat(AlgebraicGeometry/Limits): Spec preserves finite coproducts (#14428)
Added CategoryTheory.Limits.opProdIsoCoprod_hom_sndView on Github →