Theorem Ideal.inertiaDeg_pos

Modification history