feat: add `MonadControl` lemmas for `ReaderT`, `OptionT`, `StateT`, and `ExceptT`#11591

Merged

kim-em merged 1 commit intoleanprover:masterfrom

eric-wieser:monad-control-lemmas

Dec 11, 2025

Commits on Dec 10, 2025

feat: add `MonadControl` lemmas for `ReaderT`, `OptionT`, `StateT`, and `ExceptT`
eric-wieser
committed