OAI/Analysis/BiholderTransport/Calculus/ScalarFamily.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakMTWTransport.modifiedScalar line 11
2. lemma OAI.WeakMTWTransport.modifiedScalar_contDiff line 14
3. lemma OAI.WeakMTWTransport.scalar_family_hasDeriv line 18
4. lemma OAI.WeakMTWTransport.continuous_scalar_family_deriv line 24
5. lemma OAI.WeakMTWTransport.scalar_family_derivable line 30