So all edges are of length $\sqrt2$. - AssociationVoting
May 17, 2026
Content is being prepared. Please check back later.