mathlib3
feat(category_theory): functions to convert is_lawful_functor and is_…
#1258
Merged
Merged