Theorem Ideal.inertiaDeg_tower

Modification history