Def CategoryTheory.Limits.opProdIsoCoprod

Modification history

2024-08-02 19:53

Mathlib/CategoryTheory/Limits/Opposites.lean

feat(AlgebraicGeometry/Limits): Spec preserves finite coproducts (#14428)

Added CategoryTheory.Limits.opProdIsoCoprod View on Github →