Add resume-here checklist for removing the provider PoV lemmas (#1203 follow-up)#1222

williamdemeo merged 1 commit into

1187-dijkstra-NEW-ENTITIES-ledger-povIntersectMBO/formal-ledger-specifications:1187-dijkstra-NEW-ENTITIES-ledger-povfrom

claude/ledger-pov-resume-noteIntersectMBO/formal-ledger-specifications:claude/ledger-pov-resume-noteCopy head branch name to clipboard