OAI/Combinatorics/EuclideanRamsey/CornerGroup.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EuclideanRamsey.exists_group_corner line 30
2. def OAI.EuclideanRamsey.Corner line 75
3. instance OAI.EuclideanRamsey.Corner.(instance at line 78) line 78
4. lemma OAI.EuclideanRamsey.Corner.val_mul line 82
5. instance OAI.EuclideanRamsey.Corner.(instance at line 83) line 83
6. def OAI.EuclideanRamsey.Corner.group line 86