Theorem AlgebraicGeometry.Scheme.Hom.ker_eq_bot_of_isIso

Modification history