Displaying similar documents to “Dihedral f-tilings of the sphere by spherical triangles and equiangular well-centered quadrangles.”

The Borsuk-Ulam Theorem

Artur Korniłowicz, Marco Riccardi (2012)

Formalized Mathematics

Similarity:

The Borsuk-Ulam theorem about antipodals is proven, [18, pp. 32-33].