OAI/Analysis/AncientFlat/Regularity/GammaCorrection.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParametrixVolterra.holder_residual_integral_gamma line 14
2. lemma OAI.ParametrixVolterra.correction_holder_gamma line 44
3. lemma OAI.ParametrixVolterra.contDiff_duhamel_of_holder_gamma line 93
4. lemma OAI.ParametrixVolterra.source_correction_holder line 125
5. lemma OAI.ParametrixVolterra.contDiff_mildTime_of_holder_gamma line 154