Theorem SetRel.inv_univ

Modification history