phrase other half of bijection in LiftGet
authorHelmut Grohne <helmut@subdivi.de>
Thu, 30 Aug 2012 13:59:56 +0000 (15:59 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 30 Aug 2012 13:59:56 +0000 (15:59 +0200)
commitd7dbd9ed445354479507e2889768dded86f901ac
tree5464071dc8d2bdc38593cd51415d5ffb458a7f75
parent359f4a9b2297558e26b82d3971810d12de607382
phrase other half of bijection in LiftGet
LiftGet.agda