OAI/NumberTheory/Jacobsthal/Probability/PaperTagEventInclusion.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos970.ErdosTagEvent.pattern_bad_tag_inclusion line 16
2. theorem OAI.Erdos970.ErdosTagEvent.nonnearfull_card_lt line 53
3. theorem OAI.Erdos970.ErdosTagEvent.paper_bad_tag_inclusion line 70
4. theorem OAI.Erdos970.ErdosTagEvent.bad_aligned_subset_wrong line 96