mathlib
b0d1d17e - feat(data/ulift): add `monad ulift` and `monad plift` (#3588)

Commit

5 years ago

feat(data/ulift): add `monad ulift` and `monad plift` (#3588) We add `functor`/`applicative`/`monad` instances for `ulift` and `plift`.

Author

JLimperg

Parents