OAI/Probability/LatticeSurface/Dynamics/ProjectionComparison.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ProjectionComparison.System line 11
2. def OAI.ProjectionComparison.feasible line 19
3. def OAI.ProjectionComparison.objective line 22
4. def OAI.ProjectionComparison.IsProjection line 24
5. lemma OAI.ProjectionComparison.min_feasible line 35
6. lemma OAI.ProjectionComparison.max_feasible line 49
7. lemma OAI.ProjectionComparison.interpolate_feasible line 63
8. lemma OAI.ProjectionComparison.objective_interpolate line 74
9. lemma OAI.ProjectionComparison.variational line 83
10. lemma OAI.ProjectionComparison.projection_order line 101
11. theorem OAI.ProjectionComparison.projection_parameter_stability line 144