OAI/Combinatorics/Ryser/Geometry/ProjectiveTransformBasic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.RyserCoveringCounterexample.ProjectiveTransform line 7
2. def OAI.RyserCoveringCounterexample.ProjectiveTransform.refl line 16
3. def OAI.RyserCoveringCounterexample.ProjectiveTransform.trans line 21
4. theorem OAI.RyserCoveringCounterexample.ProjectiveTransform.refl_points line 26
5. theorem OAI.RyserCoveringCounterexample.ProjectiveTransform.refl_lines line 28
6. theorem OAI.RyserCoveringCounterexample.ProjectiveTransform.trans_points line 30
7. theorem OAI.RyserCoveringCounterexample.ProjectiveTransform.trans_lines line 33
8. def OAI.RyserCoveringCounterexample.ProjectiveTransform.symm line 36