leanprover/lean — pull request #303 by javra (2014-11-07 00:30:36+00:00)
Title: feat(library/hott) add univalence axioms

involves moving funext.lean to a new axioms folder