Def AlgebraicGeometry.Scheme.Hom.ker

Modification history

2025-05-12 15:20

Mathlib/AlgebraicGeometry/IdealSheaf.lean

chore(AlgebraicGeometry): split `IdealSheaf.lean` (#24759) …

Modified AlgebraicGeometry.Scheme.Hom.ker View on Github →

2025-02-12 14:43

Mathlib/AlgebraicGeometry/IdealSheaf.lean

feat(AlgebraicGeometry): the kernel of a morphism (#21431)

Added AlgebraicGeometry.Scheme.Hom.ker View on Github →