OAI/Probability/FreeIsing/Trees/Cardinality.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem367.mem_inducedEdges_8911 line 7
2. lemma OAI.Problem367.inducedEdges_snd_injOn line 15
3. lemma OAI.Problem367.ConnectedFinset.inducedEdges_image_snd line 26
4. lemma OAI.Problem367.ConnectedFinset.inducedEdges_card_add_one line 59
5. lemma OAI.Problem367.ConnectedFinset.inducedEdges_card line 70