OAI/Analysis/MatrixSigning/Main.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.CurrentKS.originalMachine_polynomialline 27 - theorem
OAI.CurrentKS.deterministic_rank_one_signingline 37
OAI/Analysis/MatrixSigning/Main.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.CurrentKS.originalMachine_polynomial line 27OAI.CurrentKS.deterministic_rank_one_signing line 37