Only ZEquiv : isEquiv (plus x) is not proven
authorRafaël Bocquet <rafaelbocquet+github@gmail.com>
Thu, 7 Apr 2016 09:19:36 +0000 (11:19 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Thu, 7 Apr 2016 13:41:12 +0000 (15:41 +0200)
commit8cff3760371dc10667f8db738889972a52330a74
treed0022c4f95fe374e81020e67e14a84b62805a81b
parent7d1864049b2dea453bf9d0d924fa98f35aa621c8
Only ZEquiv : isEquiv (plus x) is not proven
examples/torsor.ctt