OAI/Probability/SKValue/Evolution/SmoothApproxBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.smoothApprox_bulk_jets line 14
2. lemma OAI.SKValue.smoothApprox_bulk_temporal line 32
3. lemma OAI.SKValue.phi_smooth_and_jet_limits line 51
4. lemma OAI.SKValue.phi_jet_limit line 70