Theorem Ideal.ramificationIdxIn_eq_ramificationIdx

Modification history