OAI/NumberTheory/PiExponent/Statement.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PiExponent.GoodRationalApproximations line 7
2. def OAI.PiExponent.ApproximationExponents line 10
3. def OAI.PiExponent.irrationalityExponent line 13
4. def OAI.PiExponent.EventualLowerBound line 15
5. def OAI.PiExponent.PiEventualLowerBound line 19
6. def OAI.PiExponent.IntegerEventualLowerBound line 21