Theorem Set.injOn_preimage

Modification history