Theorem Q60596.X_Y_Z_notMem_kIdeal

Modification history