Def AlgebraicGeometry.coprodOpenCover.{w}

Modification history

2024-08-02 19:53

Mathlib/AlgebraicGeometry/Limits.lean

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

Added AlgebraicGeometry.coprodOpenCover.{w}View on Github →