Theorem HomogeneousIdeal.toIdeal_bot

Modification history