feat: add lemmas about EStateM.run
#25755
check-stage0.yml
on: pull_request
check-stage0-on-queue
1m 0s
EStateM.run
#25755