Theorem SetRel.inv_mono

Modification history