OAI/NumberTheory/Ostmann/Construction/ConstituentGuardCost.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Polynomial counts control the original prime-guard loss

  1. theorem OAI.Ostmann.constituent_guard_cost_le_exp line 9