Theorem AlgebraicGeometry.IsStableUnderBaseChange.of_pullback_fst_of_isAffine

Modification history

2025-07-24 07:37
Mathlib/AlgebraicGeometry/Morphisms/Descent.lean
feat(AlgebraicGeometry): codescent implies descent (#23547) …
Added AlgebraicGeometry.IsStableUnderBaseChange.of_pullback_fst_of_isAffineView on Github →