non-trivial homotopy in the loop space of stwo
authorSimon Huber <hubsim@gmail.com>
Thu, 30 Apr 2015 13:32:40 +0000 (15:32 +0200)
committerSimon Huber <hubsim@gmail.com>
Thu, 30 Apr 2015 13:32:40 +0000 (15:32 +0200)
commit88932806f440678a171b8a94a996255af4346852
tree619c41acb86f6fe0755442b5c714691c12413d5d
parentd01c143873b1476ec244a9e8279ef631636f35a0
non-trivial homotopy in the loop space of stwo
examples/pi1S2output.ctt [new file with mode: 0644]