OAI/Probability/SpanningForest/SubtypeSubsetSums.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336.SubtypeSubsetSums.forget line 13
2. theorem OAI.Problem336.SubtypeSubsetSums.card_forget line 16
3. theorem OAI.Problem336.SubtypeSubsetSums.mem_forget line 19
4. theorem OAI.Problem336.SubtypeSubsetSums.forget_subset line 23
5. theorem OAI.Problem336.SubtypeSubsetSums.forget_univ line 28
6. theorem OAI.Problem336.SubtypeSubsetSums.sum_powersetCard line 32
7. theorem OAI.Problem336.SubtypeSubsetSums.prod_forget line 44
8. theorem OAI.Problem336.SubtypeSubsetSums.sum_powersetCard_filter line 49