OAI/Analysis/FreeEntropy/UniformConvergence.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FiniteEntropySeparation.uniform_of_all_selections line 11
2. theorem OAI.FiniteEntropySeparation.integral_tendsto_zero_of_uniform line 28