Format obstructions (no new κ): exact bounds on window width, copy cost and label dimension - #446

Format obstructions (no new κ): exact bounds on window width, copy cost and label dimension#446

DreamingOfClouds wants to merge 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:format-obstructionsDreamingOfClouds/integer-mult-bounds:format-obstructionsCopy head branch name to clipboard