OAI/Geometry/HeilbronnTriangle/DigitColumnLaw.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem355.DigitColumnLaw.Column line 12
2. abbrev OAI.Problem355.DigitColumnLaw.Latent line 13
3. abbrev OAI.Problem355.DigitColumnLaw.Array line 14
4. def OAI.Problem355.DigitColumnLaw.uniformWeight line 16
5. lemma OAI.Problem355.DigitColumnLaw.uniformWeight_nonneg line 18
6. lemma OAI.Problem355.DigitColumnLaw.sum_uniformWeight line 21
7. lemma OAI.Problem355.DigitColumnLaw.productWeight_uniform line 27
8. def OAI.Problem355.DigitColumnLaw.tripleEquiv line 32
9. theorem OAI.Problem355.DigitColumnLaw.expectation_triple line 39
10. theorem OAI.Problem355.DigitColumnLaw.expectation_triple_le line 63
11. def OAI.Problem355.DigitColumnLaw.residueColumn line 77
12. theorem OAI.Problem355.DigitColumnLaw.residueColumn_matrix line 82