Def category_theory.skeleton

Modification history

2021-02-27 06:20
src/category_theory/skeletal.lean
feat(category_theory/skeletal): skeleton of a general category (#6443) …
Added category_theory.skeletonView on Github →