Theorem Rel.inv_empty

Modification history