Prove each arith host role in its own certificate theorem#770

jasisz merged 1 commit into

mainjasisz/aver:mainfrom

split-host-role-proofjasisz/aver:split-host-role-proofCopy head branch name to clipboard