OAI/Probability/SKBarriers/Coverage/CoverageTrimming.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.finiteOverlapMass_mono line 16
2. theorem OAI.SK.Analytic.weightedOverlapMass_conditional_mono line 26
3. def OAI.SK.Analytic.energyTrim line 39
4. theorem OAI.SK.Analytic.gibbsMass_energyTrim line 42
5. theorem OAI.SK.Analytic.partition_ratio_mix line 58
6. theorem OAI.SK.Analytic.conditionalWeightedPartition line 71
7. theorem OAI.SK.Analytic.partition_ratio_mix_lower line 87
8. theorem OAI.SK.Analytic.logPartition_mix_lower line 116