Theorem Rel.cod_empty

Modification history