OAI/Analysis/MatrixSigning/Complexity/PolynomialFaceFuel.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.CurrentKS.Realization.size_minDatum line 16
2. instance OAI.CurrentKS.Realization.poly_minList line 29
3. instance OAI.CurrentKS.Realization.poly_fUniformDrop line 30
4. instance OAI.CurrentKS.Realization.poly_packFace line 31
5. instance OAI.CurrentKS.Realization.poly_faceStart line 36
6. lemma OAI.CurrentKS.Realization.runsPoly_fFuel line 42