Theorem Ideal.inertiaDeg_eq_of_isGalois

Modification history