OAI/Geometry/WeakHessian/Transport/DensityCouplingBound.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.WeakHessianTransport.density_coupling_boundline 49
OAI/Geometry/WeakHessian/Transport/DensityCouplingBound.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.WeakHessianTransport.density_coupling_bound line 49