Theorem Ideal.inertiaDegIn_eq_inertiaDeg

Modification history