OAI/Probability/SpanningForest/CodedInclusion.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336.codeTransferCurrent line 16
2. theorem OAI.Problem336.code_tree_marker_identity line 23
3. theorem OAI.Problem336.code_tree_inclusion_mass line 51
4. theorem OAI.Problem336.code_tree_inclusion_ratio line 63
5. theorem OAI.Problem336.codeTransferCurrent_one line 74
6. theorem OAI.Problem336.code_uniform_tree_inclusion_ratio line 83