OAI/Analysis/AncientFlat/Kernel/GreenConvolution.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FlatRecursion.shift line 8
2. def OAI.FlatRecursion.greenTerm line 9
3. lemma OAI.FlatRecursion.greenTerm_apply line 11
4. lemma OAI.FlatRecursion.greenTerm_norm line 13
5. lemma OAI.FlatRecursion.greenTerm_summable line 19
6. def OAI.FlatRecursion.greenOperator line 22
7. lemma OAI.FlatRecursion.convolution_summable line 24
8. lemma OAI.FlatRecursion.greenOperator_apply line 28
9. lemma OAI.FlatRecursion.greenOperator_solves line 32