OAI/Analysis/LienardCycles/Model.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.QuinticLienard.Plane line 7

   Also declared: ComparatorChallenges/QuinticLienard.lean:7 (same declaration text).

2. def OAI.QuinticLienard.vectorField line 9

   Also declared: ComparatorChallenges/QuinticLienard.lean:9 (same declaration text).

3. def OAI.QuinticLienard.IsSolution line 12

   Also declared: ComparatorChallenges/QuinticLienard.lean:12 (same declaration text).

4. def OAI.QuinticLienard.IsPeriodicOrbit line 15

   Also declared: ComparatorChallenges/QuinticLienard.lean:15 (same declaration text).

5. def OAI.QuinticLienard.IsLimitCycle line 20

   Distinct definitions of this name: ComparatorChallenges/QuinticLienard.lean:20 (same statement text; different proof or body). Qualify references as OAI.QuinticLienard.IsLimitCycle@path.