mathlib
82735883 - chore(category_theory/monad): generate simp lemmas (#5972)

Commit

4 years ago

chore(category_theory/monad): generate simp lemmas (#5972) Adds a missing simps command to generate simp lemmas for the functor.

Author

b-mehta

Parents