Theorem SetRel.image_mono

Modification history