OAI/Analysis/AncientFlat/Kernel/AdjointBounds.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FlatDuality.norm_adjointSchwartz_jet line 13
2. lemma OAI.FlatDuality.norm_adjointError_le line 26
3. lemma OAI.FlatDuality.adjointError_uniform_majorant line 51