OAI/Combinatorics/Sensitivity/SeedAmplification.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The depth-nine seed gives a fixed exponent and explicit ratios.

  1. theorem OAI.Paper320.constructed_power_family line 14