OAI/Probability/ThorpCompatibility/WeightedGibbs.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThorpCompatibility.Law.exists_mass_pos line 18
2. lemma OAI.ThorpCompatibility.Law.uniformMean_rpow_pos line 25
3. lemma OAI.ThorpCompatibility.Law.weighted_gibbs_le line 38
4. lemma OAI.ThorpCompatibility.Law.tilt_log_partition line 69