OAI/InformationTheory/SoftChannel/Window.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.LeanBlast.CourtadeKumar.clipKernel_scaled line 13
2. lemma OAI.LeanBlast.CourtadeKumar.clipKernel_integral_scaled line 23
3. lemma OAI.LeanBlast.CourtadeKumar.entropy_interval_bound line 33
4. lemma OAI.LeanBlast.CourtadeKumar.entropy_common_output line 69
5. lemma OAI.LeanBlast.CourtadeKumar.pair_entropy_floor line 75
6. lemma OAI.LeanBlast.CourtadeKumar.thinning_window line 92