Theorem mul_not_mem_of_exponent_two

Modification history