Theorem SetRel.inv_comp

Modification history