OAI/Probability/Ballisticity/Estimates/ProductTruncationError.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.product_submeasure_error line 14
2. lemma OAI.DirectionalTransience.rawPairEndpointLaw_truncation line 62
3. lemma OAI.DirectionalTransience.rawPairEndpointLaw_compare line 78
4. lemma OAI.DirectionalTransience.rawPairEndpointLaw_uniform_locality line 92