Commit 2019-05-07 20:44 87cf6e36
View on Github →feat(category_theory/category_of_elements) (#990)
- feat(category_theory/category_of_elements)
- Update src/category_theory/elements.lean Co-Authored-By: semorrison scott@tqft.net
- Update src/category_theory/elements.lean Co-Authored-By: semorrison scott@tqft.net
- Update src/category_theory/elements.lean Co-Authored-By: semorrison scott@tqft.net
- Update src/category_theory/punit.lean Co-Authored-By: semorrison scott@tqft.net
- various
- remaining simp lemmas