leanprover/lean — pull request #182 by fpvandoorn (2014-09-11 23:18:20+00:00)
Title: feat(library/data/category.lean) the definition of category doesn't depe...

...nd on 'mor' anymore; make iso a class; add theorems