Theorem AlgebraicGeometry.pullbackSpecIso_hom_snd

Modification history

2024-07-14 15:55
Mathlib/AlgebraicGeometry/Pullbacks.lean
feat(AlgebraicGeometry/Pullbacks): Fibred product of affine schemes. (#14711) …
Added AlgebraicGeometry.pullbackSpecIso_hom_sndView on Github →