wip on an equivalent presentation of the circle as a quotient of unit
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jul 2016 11:41:10 +0000 (13:41 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jul 2016 11:41:10 +0000 (13:41 +0200)
commita59bd33e0fba452870fc91b01990b79ce538191d
tree065395225666c3dfc8385d69e666973fbdb2ac55
parent6463e29f87f4c199fb5da1a51bd0a7cbaf1ed7c6
wip on an equivalent presentation of the circle as a quotient of unit
examples/quotient.ctt