Theorem Ideal.pow_right_strictAnti

Modification history