OAI/Computability/MinUncut/Games/MaskRowKernel.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.RowNoise.maskRowKernel line 24
  2. lemma OAI.MinUncut.RowNoise.maskRowKernel_symmetric line 28
  3. lemma OAI.MinUncut.RowNoise.maskRowKernel_abs_mean line 33
  4. lemma OAI.MinUncut.RowNoise.maskRowKernel_character line 45
  5. def OAI.MinUncut.RowNoise.maskKernel line 57
  6. lemma OAI.MinUncut.RowNoise.maskKernel_symmetric line 61
  7. lemma OAI.MinUncut.RowNoise.maskKernel_abs_mean line 65
  8. lemma OAI.MinUncut.RowNoise.maskKernel_character line 77
  9. def OAI.MinUncut.RowNoise.maskProject line 98
  10. lemma OAI.MinUncut.RowNoise.maskProject_expansion line 101
  11. lemma OAI.MinUncut.RowNoise.coefficient_maskProject line 113
  12. lemma OAI.MinUncut.RowNoise.maskProject_l1 line 124