Theorem Diffeomorph.image_eq_preimage

Modification history