Theorem Ideal.ramificationIdx_map_eq

Modification history