OAI/Probability/SKValue/Control/PhiRegularity.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.phi_bulk_jets line 13
2. lemma OAI.SKValue.phi_bulk_temporal line 23
3. lemma OAI.SKValue.phi_smoothTerminal line 33
4. lemma OAI.SKValue.phi_time_jet_continuous line 41
5. lemma OAI.SKValue.smoothApprox_time_jet_continuous line 57
6. lemma OAI.SKValue.OrderParameter.grid_bulk_bound line 62
7. lemma OAI.SKValue.OrderParameter.grid_bulk_ae_tendsto line 69
8. lemma OAI.SKValue.phi_value_pde line 87
9. lemma OAI.SKValue.phi_gradient_pde line 118
10. lemma OAI.SKValue.phi_evolution line 149