Theorem Diffeomorph.image_symm_image

Modification history