Unify branches in subtree consistency proof#127

lukevalenta merged 1 commit intomaincloudflare/azul:mainfrom

lvalenta/unify-consistency-proofcloudflare/azul:lvalenta/unify-consistency-proofCopy head branch name to clipboard