Theorem Rel.preimage_univ

Modification history