Def AlgebraicGeometry.affinePreimage

Modification history

2025-10-15 10:06

Mathlib/AlgebraicGeometry/Morphisms/Affine.lean

chore(AlgebraicGeometry): autumn cleaning (#30426) …

Deleted AlgebraicGeometry.affinePreimage View on Github →

2024-07-25 23:15

Mathlib/AlgebraicGeometry/Morphisms/Affine.lean

feat(AlgebraicGeometry): Define affine morphisms (#13996)

Added AlgebraicGeometry.affinePreimage View on Github →