Theorem Language.not_mem_zero

Modification history