Definition. Diffeomorphism [009U]

    TODO