OAI/NumberTheory/Ostmann/Arithmetic/FiniteAtomIntervalStep.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite transfer using the selected whole-word intervals

  1. theorem OAI.Ostmann.constituentPrimeGuardedAmplitude_atom_interval_step line 10