Theorem Equiv.ofPreimageEquiv_map

Modification history