Def AlgebraicGeometry.affineTargetImageFactorization

Modification history

2025-05-16 18:32

Mathlib/AlgebraicGeometry/AffineScheme.lean

chore(AlgebraicGeometry): golf file with ideal sheaf API (#24762)

Deleted AlgebraicGeometry.affineTargetImageFactorization View on Github →

2024-10-11 13:11

Mathlib/AlgebraicGeometry/AffineScheme.lean

feat(AlgebraicGeometry): factorization of morphisms with affine target (#15033)

Added AlgebraicGeometry.affineTargetImageFactorization View on Github →