OAI/Analysis/AncientFlat/Evolution/SpaceRescaling.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParabolicSchauder.scaleSpace line 11
2. lemma OAI.ParabolicSchauder.scaleSpace_apply line 16
3. def OAI.ParabolicSchauder.spaceSource line 18
4. lemma OAI.ParabolicSchauder.space_source_evolves line 20
5. lemma OAI.ParabolicSchauder.spaceSource_holder line 40