Theorem Q60596.mem_kIdeal_iff

Modification history