OAI/Analysis/AncientFlat/Profile/RadialLaplacian.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FlatRadial.lift line 9
2. def OAI.FlatRadial.L line 10
3. lemma OAI.FlatRadial.lift_fderiv line 11
4. lemma OAI.FlatRadial.second_lift line 19
5. lemma OAI.FlatRadial.laplacian_lift line 56