OAI/Probability/ThreeStateClauses/ScalarBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Scalar Bounds.

  1. def OAI.ThreeState.TreeClauses.Positive.cLower line 12
  2. def OAI.ThreeState.TreeClauses.Positive.scalarT line 13
  3. lemma OAI.ThreeState.TreeClauses.Positive.cLower_pos line 16
  4. lemma OAI.ThreeState.TreeClauses.Positive.small_polynomial line 19
  5. lemma OAI.ThreeState.TreeClauses.Positive.middle_polynomial line 35
  6. lemma OAI.ThreeState.TreeClauses.Positive.large_polynomial line 51
  7. lemma OAI.ThreeState.TreeClauses.Positive.substitute_moment_region line 60
  8. lemma OAI.ThreeState.TreeClauses.Positive.reciprocal_lower line 66
  9. theorem OAI.ThreeState.TreeClauses.Positive.scalar_strict line 71