Two equivalent categories are equal
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Fri, 17 Jun 2016 15:07:49 +0000 (17:07 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Mon, 20 Jun 2016 09:56:14 +0000 (11:56 +0200)
commitff72653fb148315cb3f13465f1541aad8c5bf068
treefd0414020e5f23451eaf64d82f6edff858dfd2f7
parentc8ee899a5ecef0b1dea235cf20bd8192cc3ad51b
Two equivalent categories are equal
examples/category.ctt
examples/csystem.ctt
examples/sigma.ctt