:: deftheorem defines dilatation TRANSGEO:def 10 :
for AFS being AffinSpace
for f being Permutation of the carrier of AFS holds
( f is dilatation iff f is_DIL_of AFS );