[Dijkstra] (DEPRECATED) CIP-159-11c: Prove LEDGER PoV#1190

williamdemeo wants to merge 6 commits into

1186-dijkstra-utxo-and-utxow-povIntersectMBO/formal-ledger-specifications:1186-dijkstra-utxo-and-utxow-povfrom

1187-dijkstra-ledger-povIntersectMBO/formal-ledger-specifications:1187-dijkstra-ledger-povCopy head branch name to clipboard