Theorem SetRel.inv_empty

Modification history