OAI/Computability/DepthThree/InterpolationEvaluation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DepthThreeLowerBound.Interpolation.coeffEval line 17
2. theorem OAI.DepthThreeLowerBound.Interpolation.coeffEval_apply line 28
3. theorem OAI.DepthThreeLowerBound.Interpolation.coeffEval_surjective line 32
4. theorem OAI.DepthThreeLowerBound.Interpolation.card_coeffEval_fiber_mul line 59
5. theorem OAI.DepthThreeLowerBound.Interpolation.card_coeffEval_fiber line 72
6. theorem OAI.DepthThreeLowerBound.Interpolation.finiteAvg_coeffEval line 86