mathlib
3f61e549 - feat(category_theory/monad): mark monad lemmas as reassoc (#5190)

Commit

5 years ago

feat(category_theory/monad): mark monad lemmas as reassoc (#5190)

Author

b-mehta

b-mehta

Parents

Loading