Theorem Ideal.IsDedekindDomain.ramificationIdx_eq_factors_count

Modification history