Fundamental Group of n-sphere for n ≥ 2
Marco Riccardi, Artur Korniłowicz · 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.