diffeomorphism constraint

GPTKB entity