Theorem Equiv.preimage_subset

Modification history