Repair compact-cutoff controls at 14 hosted elaboration sites - #425

Repair compact-cutoff controls at 14 hosted elaboration sites#425

d6g8k5htny-coder wants to merge 1 commit into

codex/compact-cutoff-proof-repair-20261011-root01a11cbfd6g8k5htny-coder/Math-:codex/compact-cutoff-proof-repair-20261011-root01a11cbffrom

codex/compact-cutoff-controls-repair-20261011-root01a11cbfd6g8k5htny-coder/Math-:codex/compact-cutoff-controls-repair-20261011-root01a11cbfCopy head branch name to clipboard