Theorem AlgebraicGeometry.Scheme.Hom.ideal_ker_le

Modification history