OAI/Analysis/AncientFlat/Regularity/CoreCorrectionHolder.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CompactCore.holder_of_zero_jet line 11
2. lemma OAI.CompactCore.correction_holder line 19
3. lemma OAI.CompactCore.correction_jet_holder line 38