docs: use "at least" instead of "more than" in supermajority check comment - #424

docs: use "at least" instead of "more than" in supermajority check comment#424

tcoratger merged 3 commits into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

lambdaclass:docs/supermajority-clarificationlambdaclass/leanSpec:docs/supermajority-clarificationCopy head branch name to clipboard