:: deftheorem defines TarskiEuclid2Space GTARSKI2:def 2 :
TarskiEuclid2Space = TarskiEuclidSpace 2;