OAI/Probability/ThorpCompatibility/ExposureEntropy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThorpCompatibility.cellRows_weight_sum line 10
2. lemma OAI.ThorpCompatibility.clumpCount_eq_entries line 29
3. lemma OAI.ThorpCompatibility.mean_clumpCount_eq_entries line 49
4. def OAI.ThorpCompatibility.totalExposureError line 61
5. lemma OAI.ThorpCompatibility.sum_exposureError line 65
6. lemma OAI.ThorpCompatibility.grid_entropy_charge line 80
7. lemma OAI.ThorpCompatibility.grid_deficit_decomposition line 109