OAI/Analysis/MatrixSigning/Matrices/RowDotBody.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KS.W12.RowDot.copyColumn line 11
2. def OAI.KS.W12.RowDot.copyRow line 12
3. def OAI.KS.W12.RowDot.copyDimension line 13
4. def OAI.KS.W12.RowDot.collectProgram line 14
5. def OAI.KS.W12.RowDot.pairProgram line 17
6. def OAI.KS.W12.RowDot.body line 20
7. def OAI.KS.W12.RowDot.collectTicks line 22
8. def OAI.KS.W12.RowDot.pairTicks line 28
9. def OAI.KS.W12.RowDot.bodyTicks line 33
10. theorem OAI.KS.W12.RowDot.collect_spec line 37
11. theorem OAI.KS.W12.RowDot.pair_spec line 66
12. theorem OAI.KS.W12.RowDot.body_spec line 88