OAI/NumberTheory/Ostmann/Construction/ScheduledCoefficientGap.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The true initial cutoffs supply the coefficient-supported transfer gap

  1. theorem OAI.Ostmann.selected_scheduled_coefficient_gap line 10