Theorem Ideal.inertiaDeg_algebra_tower

Modification history