Theorem AlgebraicGeometry.pullbackSpecIso_inv_fst

Modification history

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