leanprover/lean — pull request #249 by javra (2014-10-23 02:24:56+00:00)
Title: feat(library/hott): add closure properties for equivalences

Port features from the Coq Hott library