OAI/Analysis/LienardCycles/PositiveSymmetries.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ArchSymmetries.IsArch.affineOn line 22
2. lemma OAI.QuinticLienard.PositiveWidth.profile_C1 line 50
3. lemma OAI.QuinticLienard.PositiveWidth.midpoint_of_arch line 53
4. lemma OAI.QuinticLienard.PositiveWidth.midpoint_quadratic line 66