Theorem Rel.preimage_mono

Modification history