Theorem AlgebraicGeometry.genericPoint_eq_of_isOpenImmersion

Modification history