Theorem Ideal.toIdeal_homogeneousHull_eq_iSup

Modification history