feat(QM): Add radius operator limits#1024

Merged

jstoobysmith merged 5 commits intoleanprover-community:masterfrom

gloges:radius-limits

Apr 6, 2026

Commits on Apr 3, 2026

remove regulator lemmas
gloges
committed
ae lemmas
gloges
committed
add docs
gloges
committed

Commits on Apr 5, 2026

minor doc change
gloges
committed

Commits on Apr 6, 2026

Merge branch 'main' into radius-limits
gloges
committed