Theorem UniformEquiv.preimage_image

Modification history