Theorem Rel.inv_mono

Modification history