Theorem Q60596.mul_self_mem_kIdeal_of_X0_X1_X2_mul_mem

Modification history