OAI/Computability/DepthThree/InterpolationQuotient.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DepthThreeLowerBound.Interpolation.coefficientEncoding line 15
2. theorem OAI.DepthThreeLowerBound.Interpolation.coefficientEncoding_apply line 20
3. theorem OAI.DepthThreeLowerBound.Interpolation.finiteAvg_coefficientEncoding line 24
4. theorem OAI.DepthThreeLowerBound.Interpolation.finiteAvg_degreeZero line 30
5. theorem OAI.DepthThreeLowerBound.Interpolation.finiteAvg_quotient_acceptEval line 51
6. theorem OAI.DepthThreeLowerBound.Interpolation.finiteAvg_encoded_acceptEval line 58
7. theorem OAI.DepthThreeLowerBound.Interpolation.finiteAvg_encoded_acceptEval_finset line 75