Theorem AlgebraicGeometry.IsSeparated.of_isAffineHom

Modification history