OAI/Analysis/LienardCycles/AngleBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.RealAnalysis.rate_inverse_identity line 19
2. lemma OAI.QuinticLienard.RealAnalysis.bddAbove_angle_of_rate line 27
3. lemma OAI.QuinticLienard.RealAnalysis.exists_mem_Ioo_of_ae line 60
4. lemma OAI.QuinticLienard.RealAnalysis.uniform_integral_pos_of_reciprocal line 67