OAI/Combinatorics/SumProduct/Alignment/IntegerArrays10.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.SourceIntegerArrays.GlobalJoint.LocalModels line 34
  2. def OAI.SourceIntegerArrays.GlobalJoint.LocalModels.label line 51
  3. def OAI.SourceIntegerArrays.GlobalJoint.LocalModels.bin line 52
  4. def OAI.SourceIntegerArrays.GlobalJoint.LocalModels.residue line 53
  5. def OAI.SourceIntegerArrays.GlobalJoint.LocalModels.frozenObs line 54
  6. def OAI.SourceIntegerArrays.GlobalJoint.LocalModels.state line 55
  7. def OAI.SourceIntegerArrays.GlobalJoint.LocalModels.value line 61
  8. def OAI.SourceIntegerArrays.GlobalJoint.LocalModels.modelSuccess line 67
  9. theorem OAI.SourceIntegerArrays.GlobalJoint.LocalModels.actual_reading line 83
  10. theorem OAI.SourceIntegerArrays.GlobalJoint.source_model_event line 118
  11. structure OAI.SourceIntegerArrays.GlobalJoint.RawModels line 197
  12. def OAI.SourceIntegerArrays.GlobalJoint.RawModels.outer line 214
  13. def OAI.SourceIntegerArrays.GlobalJoint.RawModels.inner line 216
  14. def OAI.SourceIntegerArrays.GlobalJoint.RawModels.exposure line 218
  15. def OAI.SourceIntegerArrays.GlobalJoint.RawModels.localModel line 220
  16. def OAI.SourceIntegerArrays.GlobalJoint.RawModels.selectedG line 225
  17. def OAI.SourceIntegerArrays.GlobalJoint.RawModels.selectedX line 227
  18. def OAI.SourceIntegerArrays.GlobalJoint.RawModels.orbit line 229
  19. lemma OAI.SourceIntegerArrays.GlobalJoint.cellRatio_congr_on_cell line 234
  20. lemma OAI.SourceIntegerArrays.GlobalJoint.firstPivot_inside line 254
  21. theorem OAI.SourceIntegerArrays.GlobalJoint.source_cell_model line 267