Prove a square-root envelope for completed elimination downsets (no κ) - #4852

Prove a square-root envelope for completed elimination downsets (no κ)#4852

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w5-1022j-scoped-lawpetalas/integer-mult-bounds:research/w5-1022j-scoped-lawCopy head branch name to clipboard