OAI/Probability/SphericalField/Heat/Continuity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.heatLogBCF_time_continuousAt_all line 23
2. lemma OAI.SphericalPerceptron.heatLogBCF_terminal_norm_le line 53
3. lemma OAI.SphericalPerceptron.heatLogBCF_moving_continuousAt line 64
4. lemma OAI.SphericalPerceptron.parametricHeatJet_continuousAt line 86
5. lemma OAI.SphericalPerceptron.parametricHeatJet_tail_order line 97