Theorem Equiv.image_subset

Modification history