mathlib3
refactor(category_theory): move small_category_of_preorder to preorder namespace
#932

Merged

Commits

chore(category_theory): move small_category_of_preorder to preorder namespace

kim-em committed 6 years ago
Merge branch 'master' into small_category_of_preorder

jcommelin committed 6 years ago

Loading