Theorem Diffeomorph.symm_image_eq_preimage

Modification history