OAI/Analysis/BernoulliCone/ScalarLaplacian.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Bernoulli.ScalarLaplacian.deriv2_mul line 15
2. lemma OAI.Bernoulli.ScalarLaplacian.line_deriv line 31
3. lemma OAI.Bernoulli.ScalarLaplacian.gradient_mul line 38
4. lemma OAI.Bernoulli.ScalarLaplacian.gradient_comp line 50
5. lemma OAI.Bernoulli.ScalarLaplacian.laplacian_sum_line line 59
6. lemma OAI.Bernoulli.ScalarLaplacian.laplacian_mul line 66
7. lemma OAI.Bernoulli.ScalarLaplacian.laplacian_comp line 90