proof relating function part of transEquiv to transEquivDirect
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 6 Dec 2017 16:27:11 +0000 (11:27 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 6 Dec 2017 16:27:11 +0000 (11:27 -0500)
commit682e9f66ce16daf166549c1a16dd3a110894a8ea
tree54b00eb2533cbe5ade607e4c2b2456a231701949
parent55af742271f56ecb22eac8b6a5739a1193ed8a7e
proof relating function part of transEquiv to transEquivDirect
examples/equiv.ctt