Theorem Ideal.inertiaDeg_comap_eq

Modification history