OAI/Geometry/HeilbronnTriangle/ZModAnnihilator.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem355.zmod_card_mul_eq_zero line 8
2. theorem OAI.Problem355.zmod_card_mul_eq_zero_of_dvd line 13
3. theorem OAI.Problem355.zmod_card_pow_mul_eq_zero line 17
4. def OAI.Problem355.matrixFixedDiagonalEquiv line 22
5. theorem OAI.Problem355.card_matrix_fixed_diagonal line 46
6. theorem OAI.Problem355.card_matrix_fixed_diagonal_three line 59
7. theorem OAI.Problem355.card_unit_matrix_fixed_diagonal_three_le line 73