Theorem HomogeneousIdeal.toIdeal_iSup

Modification history