The Borsuk-Ulam Theorem

Artur Kornilowicz, Marco Riccardi. The Borsuk-Ulam Theorem. Formalized Mathematics, 20(2):105-112, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: