Theorem Q60596.X0_X1_X2_notMem_kIdeal

Modification history