Theorem UniformEquiv.image_preimage

Modification history