Prove information and snapshot cut bounds for the historical routed queries - #4720

Prove information and snapshot cut bounds for the historical routed queries#4720

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/actual-query-information-bounds-publicationaliromman/integer-mult-bounds:codex/actual-query-information-bounds-publicationCopy head branch name to clipboard