Commit 18c0e86d authored by Nikita Zyuzin's avatar Nikita Zyuzin

Refactor the soundness statement and split it into smaller lemmas

parent 3571494a
This diff is collapsed.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment