Theorem Class.not_mem_empty

Modification history