Élie Cartan demonstrated in 1934 that the axiom of free mobility—the precise formal content of Weyl'...