OAI/Computability/MinUncut/Games/JointCoefficient.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Inner.jointCoefficient line 21
  2. def OAI.MinUncut.Inner.constantArray line 26
  3. lemma OAI.MinUncut.Inner.constantArray_add line 29
  4. lemma OAI.MinUncut.Inner.hermite_gradient_constantArray line 33
  5. lemma OAI.MinUncut.Inner.sign_injective line 42
  6. theorem OAI.MinUncut.Inner.joint_row_gauge line 53
  7. theorem OAI.MinUncut.Inner.joint_cylinder_gauge line 66