lean(f33): align root Policy.lean with proved proofs/Policy.lean#211

fraware merged 1 commit into

mainSentinelOps-CI/provability-fabric:mainfrom

lean/f33-root-policy-alignSentinelOps-CI/provability-fabric:lean/f33-root-policy-alignCopy head branch name to clipboard