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