Theorem Q60596.X0_X1_X2_not_mem_kIdeal

Modification history