OAI/Combinatorics/SharpRamsey/Reciprocal/ReciprocalTree.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpLogRamsey.ActualPivot.goodIncidence line 24
2. theorem OAI.SharpLogRamsey.ActualPivot.Book.original_tree_target_loss line 38