Theorem Q60596.mul_self_mem_kIdeal_of_X_Y_Z_mul_mem

Modification history