Theorem Ideal.homogeneousHull_eq_iSup

Modification history