Theorem Ideal.ramificationIdxIn_ne_zero

Modification history