Theorem Ideal.ramificationIdx_eq_of_isGalois

Modification history