OAI/GroupTheory/FiniteType/BinaryAlgebraPresentation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.BinaryAlgebraPresentation.Integral line 9
2. abbrev OAI.BinaryAlgebraPresentation.Binary line 10
3. def OAI.BinaryAlgebraPresentation.reduction line 13
4. lemma OAI.BinaryAlgebraPresentation.reduction_gen line 16
5. lemma OAI.BinaryAlgebraPresentation.reduction_surjective line 20
6. lemma OAI.BinaryAlgebraPresentation.reduction_kernel line 38
7. lemma OAI.BinaryAlgebraPresentation.kernel_composition line 85
8. theorem OAI.BinaryAlgebraPresentation.integral_presentation line 136
9. theorem OAI.BinaryAlgebraPresentation.rank_six_of_binary_presentation line 153
10. theorem OAI.StageGeometry.action_of_binary_ring_data line 181