ICS28: Use h < hp'
instead of h <= hp'
in Bond-Based Consumer Voting Power#749
Merged
mpoke merged 1 commit intomarius/ccvfrom Bond-Based-Consumer-Voting-Power-InequalityMay 20, 2022
+1-1