OAI/Probability/LatticeSurface/Convexity/PointwiseOverlap.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Density.kernel_le line 1019
2. lemma OAI.RetainedShell.retainedEval_apply line 1034
3. lemma OAI.RetainedShell.coarseFunctional_apply line 1038
4. lemma OAI.RetainedShell.representative_not_bulk line 1043
5. lemma OAI.RetainedShell.volume_transfers line 1053
6. lemma OAI.RetainedShell.deficit_transfer line 1077
7. theorem OAI.RetainedShell.actual_pointwise_overlap line 1092