OAI/NumberTheory/ShortEgyptian/ParameterBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ShortEgyptian.reciprocal_parameter_algebra line 10
2. def OAI.ShortEgyptian.reciprocalConstantNat line 83
3. def OAI.ShortEgyptian.reciprocalPower line 86
4. theorem OAI.ShortEgyptian.reciprocalConstant_pos line 88
5. theorem OAI.ShortEgyptian.reciprocal_phase_order line 92
6. theorem OAI.ShortEgyptian.reciprocalConstant_mono line 163
7. theorem OAI.ShortEgyptian.reciprocalPower_mono line 168
8. theorem OAI.ShortEgyptian.reciprocal_phase_power_bound line 173