Theorem Rel.cod_inv

Modification history