Theorem AlgebraicGeometry.ext_of_isDominant

Modification history