similarly rename lemma-from-map-just to map-just-injective
authorHelmut Grohne <helmut@subdivi.de>
Thu, 25 Oct 2012 11:37:31 +0000 (13:37 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 25 Oct 2012 11:37:31 +0000 (13:37 +0200)
commit2d58e07b44098b13cbdb2da83e8fcc6b33616ac9
tree5509c3812b1c6c63190ad94824c66876b42744df
parent7dcad0cd17c75867c2ce10ac72c9863fb3ed2e94
similarly rename lemma-from-map-just to map-just-injective
Bidir.agda