Theorem HomogeneousIdeal.toIdeal_iSup₂

Modification history