OAI/Combinatorics/Progressions/Geometry/CoordinateTreeOutside.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos3.CoordinateDecisionTree.outsideAssignment line 13
2. theorem OAI.Erdos3.CoordinateDecisionTree.outsideAssignment_update line 17
3. def OAI.Erdos3.CoordinateDecisionTree.liftOutside line 30
4. theorem OAI.Erdos3.CoordinateDecisionTree.Valid.liftOutside line 35