Theorem SetRel.cod_empty

Modification history