Theorem AlgebraicGeometry.isIso_stalkMap_coprodSpec

Modification history

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