WIP -- [Conway] Property : voteDelegs range lies in VDelegs of registered DReps (#1233) - #1290

Draft

williamdemeo wants to merge 2 commits into

1233-conway-votedelegs-range-is-contained-in-vdelegs

Commits on Aug 10, 2026

Certs property #1233: voteDelegs range lies in VDelegs of registered DReps

williamdemeo
and
claude
committed
1f71506
Name the map argument in cores-range-⊆'s clause head

williamdemeo
and
claude
committed
fcc8747