Upstream first batch of lemmas from Lido engagement#2786

lucasmt wants to merge 1 commit into

masterruntimeverification/evm-semantics:masterfrom

upstream-lido-lemmasruntimeverification/evm-semantics:upstream-lido-lemmasCopy head branch name to clipboard