Z = Id BZ ZBZ ZBZ
authorRafaël Bocquet <rafaelbocquet+github@gmail.com>
Tue, 5 Apr 2016 09:30:13 +0000 (11:30 +0200)
committerRafaël Bocquet <rafaelbocquet+github@gmail.com>
Tue, 5 Apr 2016 09:30:13 +0000 (11:30 +0200)
commit359aaff7748fa09d3315fa176b6706d40b9cfd82
tree18d31a60f06ba1655e905aab2250206375304598
parenta9b29bb2f686deb60adaf02d99bbc1c91b485f74
Z = Id BZ ZBZ ZBZ
examples/torsor.ctt