OAI/Combinatorics/SumProduct/Alignment/IntegerArrays06.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SourceIntegerArrays.GlobalJoint.modelEval line 33
  2. def OAI.SourceIntegerArrays.GlobalJoint.modelRead line 42
  3. lemma OAI.SourceIntegerArrays.GlobalJoint.modelRead_continuous line 50
  4. def OAI.SourceIntegerArrays.GlobalJoint.FactorizedEmpirical line 57
  5. theorem OAI.SourceIntegerArrays.GlobalJoint.factorized_empirical line 88
  6. def OAI.SourceIntegerArrays.GlobalJoint.ownBasis line 183
  7. def OAI.SourceIntegerArrays.GlobalJoint.ownInput line 186
  8. def OAI.SourceIntegerArrays.GlobalJoint.inputHom line 189
  9. lemma OAI.SourceIntegerArrays.GlobalJoint.inputHom_unit line 196
  10. def OAI.SourceIntegerArrays.GlobalJoint.inputAction line 207
  11. lemma OAI.SourceIntegerArrays.GlobalJoint.eval_face line 214
  12. lemma OAI.SourceIntegerArrays.GlobalJoint.eval_terminal line 231
  13. theorem OAI.SourceIntegerArrays.GlobalJoint.own_terminal_model_reading line 269