The Borsuk-Ulam Theorem
Artur Korniłowicz, Marco Riccardi · Formalized Mathematics · 2012
Sciendo provides publishing services and solutions to academic and professional organizations and individual authors. We publish journals, books, conference proceedings and a variety of other publications.