Theorem AlgebraicGeometry.Scheme.ideal_ker_le_ker_ΓSpecIso_inv_comp

Modification history