OAI/Combinatorics/ParityLifts/TestAlgebra.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.EqRootRel line 15
  2. def OAI.ParityWL.EqRoot line 17
  3. instance OAI.ParityWL.eqRootFintype line 19
  4. def OAI.ParityWL.equalityTest line 23
  5. lemma OAI.ParityWL.equalityTest_count line 30
  6. def OAI.ParityWL.edgeTest line 57
  7. lemma OAI.ParityWL.edgeTest_count line 63
  8. abbrev OAI.ParityWL.TuplePair line 97
  9. def OAI.ParityWL.testEval line 101
  10. def OAI.ParityWL.testSpan line 104
  11. lemma OAI.ParityWL.testEval_mem line 107
  12. lemma OAI.ParityWL.testSpan_one line 110
  13. lemma OAI.ParityWL.testEval_mul_mem line 119
  14. lemma OAI.ParityWL.testSpan_mul line 137
  15. def OAI.ParityWL.testAlgebra line 156
  16. def OAI.ParityWL.tupleReindex line 175
  17. def OAI.ParityWL.reindexLinear line 178
  18. lemma OAI.ParityWL.testSpan_reindex line 184
  19. def OAI.ParityWL.sumInsertLinear line 205
  20. lemma OAI.ParityWL.testSpan_sumInsert line 217