Commit 2023-06-21 05:19 1e2e427c

View on Github →

feat: port Control.ULiftable (#5223)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Control/ULiftable.lean

added def ContT.uliftable'

added def ReaderT.uliftable'

added def StateT.uliftable'

added def ULiftable.adaptDown

added def ULiftable.adaptUp

added def ULiftable.down

added def ULiftable.downMap

added theorem ULiftable.down_up

added def ULiftable.up

added def ULiftable.upMap

added theorem ULiftable.up_down

added def WriterT.uliftable'