Isomorphism of the direct and the susp definition of S2
authorAnders <mortberg@chalmers.se>
Tue, 12 May 2015 08:54:16 +0000 (10:54 +0200)
committerAnders <mortberg@chalmers.se>
Tue, 12 May 2015 08:54:16 +0000 (10:54 +0200)
commita59e63c84670f1686b7538569e86f9d5e69e024b
tree79f3855a31d8dc958b564558a552b3262bd3fdaa
parentfd124da780ddf5eb6306f014f58fa9aec3b2f220
Isomorphism of the direct and the susp definition of S2
examples/s2.ctt