OAI/Probability/ClassicalON/FamilyAlgebra.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MixedAlgebra.sum_three_rotate line 13
  2. lemma OAI.MixedAlgebra.sum_weighted_separated line 21
  3. lemma OAI.MixedAlgebra.sum_current line 37
  4. lemma OAI.MixedAlgebra.contract_two_current line 47
  5. lemma OAI.MixedAlgebra.contract_two_two line 54
  6. lemma OAI.MixedAlgebra.contract_three_current line 75
  7. lemma OAI.MixedAlgebra.contract_four line 82
  8. lemma OAI.MixedAlgebra.four_grouped line 89
  9. lemma OAI.MixedAlgebra.contract_current_three line 107
  10. def OAI.MixedAlgebra.paired line 114
  11. def OAI.MixedAlgebra.kernel line 118
  12. lemma OAI.MixedAlgebra.four_family_contraction line 120