refactor: change memory-effects theorem to a quantifier-free statement#224

shigoel merged 17 commits into

mainleanprover/LNSym:mainfrom

memory-effects-proof-as-mem-equalsleanprover/LNSym:memory-effects-proof-as-mem-equalsCopy head branch name to clipboard