OAI/Computability/DirectedFeedback/Probability/
839 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- A13Reduction.lean 73 declarations
- Basic.lean 76 declarations
- DescentProbability.lean 87 declarations
- Enlargement.lean 56 declarations
- KMSFourthMomentMixedRestriction.lean 40 declarations
- KMSFourthMomentZoomTransport.lean 37 declarations
- KMSMomentConstants.lean 68 declarations
- Mixture.lean 100 declarations
- PolynomialProbability.lean 49 declarations
- PoweringFieldPlan.lean 89 declarations
- RepeatedGameBounds.lean 77 declarations
- TraceLaw.lean 87 declarations