OAI/Algebra/DepthFive/ActualRelaxedWeightBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem335.MomentPairing.balanced_normalV_endpoints_disjoint line 11
2. theorem OAI.Problem335.MomentPairing.sum_relaxed_pathWeight_balanced_le_exp line 22