OAI/NumberTheory/Ostmann/Construction/ConstituentArithmeticStep.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

One arithmetic step of the actual guarded original-prior amplitude

  1. theorem OAI.Ostmann.constituentPrimeGuardedAmplitude_step line 15