cancelpublished Euclidean relations of equinumerosity

status will change from published to submitted

validating...