OAI/Analysis/LienardCycles/ArchVariation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ArchVariation.fixed_profile_variation line 19
2. lemma OAI.QuinticLienard.ArchVariation.moving_peak_variation line 31
3. theorem OAI.QuinticLienard.ArchVariation.positive_homogeneous line 42
4. lemma OAI.QuinticLienard.ArchVariation.hit_variation line 65
5. theorem OAI.QuinticLienard.ArchVariation.peak_derivative_positive line 73
6. theorem OAI.QuinticLienard.ArchVariation.endpoint_peak_signs line 98
7. lemma OAI.QuinticLienard.ArchVariation.width_midpoint_peak_bounds line 119