OAI/Analysis/BiholderTransport/LinearAlgebra/FinitePositiveWeight.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.finite_positive_weight_exists_ge line 180
2. lemma OAI.WeakMTWTransport.finite_positive_weight_zero line 193
3. lemma OAI.WeakMTWTransport.finite_transverse_quadratic_growth line 206