Kleisli): Fix lint errors (#8244)

Commit

4 years ago

feat(category_theory/category/Kleisli): Fix lint errors (#8244) Fixes some lint errors for this file: unused arguments, module doc, inhabited instances

Author

b-mehta

Parents

a444e81f

mathlib 70320f74 - feat(category_theory/category/Kleisli): Fix lint errors (#8244)

mathlib
70320f74 - feat(category_theory/category/Kleisli): Fix lint errors (#8244)