Jakob von Raumer fd47a162de chore(library/hott) adapted theories to typeclass axioms		2014-11-23 17:43:55 -08:00
..
funext.lean	chore(library/hott) adapted theories to typeclass axioms	2014-11-23 17:43:55 -08:00
ua.lean	feat(library/hott) change axioms to Leo's axioms-as-typeclass proposal	2014-11-23 17:43:55 -08:00