Def AlgebraicGeometry.affineAnd

Modification history

2024-11-01 10:29

Mathlib/AlgebraicGeometry/Morphisms/AffineAnd.lean

feat(AlgebraicGeometry/Morphisms): affine + ring hom property (#18356) …

Added AlgebraicGeometry.affineAnd View on Github →