`OAI/Analysis/BiholderTransport/Duality/`

38 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

AEDual.lean 3 declarations
ActualLowerJet.lean 2 declarations
CompactDual.lean 23 declarations
DualCompact.lean 1 declarations
DualFactor.lean 1 declarations
DualVariation.lean 3 declarations
GeometricEnvelope.lean 3 declarations
RiemannianTransport.lean 2 declarations