torsor multiplication
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Thu, 14 Apr 2016 10:13:34 +0000 (12:13 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Thu, 14 Apr 2016 10:13:34 +0000 (12:13 +0200)
commitc3f419f6b53bca420538094ad7b17d9f27d20990
treeeb114b5de2950339aefed1f23c1c17da39015028
parent8c970660b55c443a0f1c3ceb40b0ca76bf1f6910
torsor multiplication
examples/torsor.ctt