OAI/Analysis/LienardCycles/ArchSymmetries.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.ArchSymmetries.affine_cancel line 21
2. theorem OAI.QuinticLienard.ArchSymmetries.IsArch.affine line 25
3. theorem OAI.QuinticLienard.ArchSymmetries.IsArch.reflect line 82
4. theorem OAI.QuinticLienard.ArchSymmetries.canonical_affine line 109
5. theorem OAI.QuinticLienard.ArchSymmetries.canonical_reflect line 117
6. lemma OAI.QuinticLienard.ArchSymmetries.profile_C1 line 132
7. theorem OAI.QuinticLienard.ArchSymmetries.width_affine line 136
8. theorem OAI.QuinticLienard.ArchSymmetries.midpoint_affine line 145
9. theorem OAI.QuinticLienard.ArchSymmetries.fixed_width_affine line 153
10. theorem OAI.QuinticLienard.ArchSymmetries.fixed_width_reflect line 167