OAI/Analysis/AncientFlat/Evolution/ConstantRepresentation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParabolicSchauder.unitLine line 13
2. lemma OAI.ParabolicSchauder.unitLine_jets line 15
3. lemma OAI.ParabolicSchauder.frozen_integral_apply line 21
4. theorem OAI.ParabolicSchauder.constant_representation line 36