Theorem Language.nil_mem_one

Modification history