Theorem AlgebraicGeometry.exists_of_res_eq_of_qcqs

Modification history