Theorem Ideal.inertiaDeg_algebraMap

Modification history