#613: scope review of the #276 critical-point bridge — all five items discharge (proof note, notes only) - #670

#613: scope review of the #276 critical-point bridge — all five items discharge (proof note, notes only)#670

LightChainr wants to merge 1 commit into

mainLightChainr/Matching-One:mainfrom

proof/613-bridge-scope-reviewLightChainr/Matching-One:proof/613-bridge-scope-reviewCopy head branch name to clipboard