[Doc] Document an invariant on current round.#3614

vicsn merged 1 commit intoProvableHQ:stagingProvableHQ/snarkOS:stagingfrom

acoglio:doc-inv-current-roundacoglio/snarkOS:doc-inv-current-roundCopy head branch name to clipboard