Theorem Ideal.inertiaDegIn_ne_zero

Modification history