Jakob von Raumer a1b468d104 feat(library/hott): port a part of algebra/category/constructions.lean, slice category still to do		2014-12-05 22:20:25 -08:00
..
pi.lean	feat(hott/types): start characterization of pi-types and W-types	2014-12-03 20:29:16 -08:00
prod.lean	feat(library/hott): port a part of algebra/category/constructions.lean, slice category still to do	2014-12-05 22:20:25 -08:00
sigma.lean	style(hott/types): some style fixes in prod and sigma	2014-12-03 20:29:16 -08:00
W.lean	feat(hott/types): start characterization of pi-types and W-types	2014-12-03 20:29:16 -08:00