OAI/Analysis/MatrixSigning/Complexity/PolynomialFaceQuery.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CurrentKS.Realization.queryScanCount line 13
2. lemma OAI.CurrentKS.Realization.potential_scanCount line 18
3. def OAI.CurrentKS.Realization.FaceParams.queryCount line 20
4. def OAI.CurrentKS.Realization.FaceParams.stencilCount line 21
5. def OAI.CurrentKS.Realization.FaceParams.scoreCount line 22
6. lemma OAI.CurrentKS.Realization.runsPoly_faceQuery line 25
7. lemma OAI.CurrentKS.Realization.runsPoly_faceStencil line 33
8. lemma OAI.CurrentKS.Realization.runsPoly_faceScore line 41