Theorem Ideal.inertiaDeg_map_eq

Modification history