OAI/Analysis/MassAction/Model.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.Problem326.ReactionNetwork line 9

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

2. abbrev OAI.Problem326.Reaction line 16

   Also declared: ComparatorChallenges/MassAction.lean:16 (same declaration text).

3. def OAI.Problem326.HasReaction line 19

   Also declared: ComparatorChallenges/MassAction.lean:19 (same declaration text).

4. def OAI.Problem326.WeaklyReversible line 23

   Also declared: ComparatorChallenges/MassAction.lean:23 (same declaration text).

5. def OAI.Problem326.monomial line 27

   Also declared: ComparatorChallenges/MassAction.lean:27 (same declaration text).

6. def OAI.Problem326.massAction line 30

   Also declared: ComparatorChallenges/MassAction.lean:30 (same declaration text).

7. def OAI.Problem326.PositiveState line 36

   Also declared: ComparatorChallenges/MassAction.lean:36 (same declaration text).

8. def OAI.Problem326.IsGlobalForwardSolution line 39

   Also declared: ComparatorChallenges/MassAction.lean:39 (same declaration text).

9. def OAI.Problem326.IsForwardSolutionOn line 46
10. def OAI.Problem326.dot line 54
11. def OAI.Problem326.IsFinitePolyhedron line 57
12. def OAI.Problem326.IsForwardInvariant line 61