OAI/Geometry/WeakHessian/Transport/BoundedHopfLpPairing.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessianTransport.boundedHopfLp_pairing_increment line 37
2. lemma OAI.WeakHessianTransport.boundedHopfLp_transport_pairing_le line 88