Def AlgebraicGeometry.pullbackSpecIso

Modification history

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