OAI/MathematicalPhysics/RapidForcing/RatOperations.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RapidForcing.EffectiveArithmetic.rat_divInt_graph line 10
2. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_divInt line 17
3. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_inv line 28
4. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_div line 32
5. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_abs line 35
6. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_max line 42
7. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_pow line 45
8. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_natCeil line 53
9. lemma OAI.RapidForcing.EffectiveArithmetic.computable_rat_natFloor line 66