knuton/la-girafe-sportive — pull request #19 by yfyf (2014-01-27 01:08:32+00:00)
Title: Add one more admitted lift_lift_rev lemma

Proof shamefully copy-pasted from dblib.