Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-29 11:19 b0d1d17e

View on Github →

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

Estimated changes

modified theorem plift.rec.constant
modified theorem ulift.rec.constant