Theorem AlgebraicGeometry.pullbackSpecIso_hom_base

Modification history

2025-11-30 12:04
Mathlib/AlgebraicGeometry/Pullbacks.lean
feat: a pullback of schemes is canonically over the second component (#31475) …
Added AlgebraicGeometry.pullbackSpecIso_hom_baseView on Github →