Commit 2021-02-27 06:20 7ce01bbc
View on Github →feat(category_theory/skeletal): skeleton of a general category (#6443) Construct the skeleton of a category using choice.
feat(category_theory/skeletal): skeleton of a general category (#6443) Construct the skeleton of a category using choice.