OAI/Geometry/WeakHessian/Transport/PlanAction.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.integrable_shifted_time_function line 20
2. lemma OAI.WeakHessian.IsTestPlan.average_density_action line 28
3. lemma OAI.WeakHessian.IsTestPlan.smoothDensity_action line 101