OAI/Computability/DepthThree/CircuitDensity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DepthThreeLowerBound.sign_eq_two_indicator_sub_one line 14
2. theorem OAI.DepthThreeLowerBound.finiteAvg_sign line 18
3. theorem OAI.DepthThreeLowerBound.acceptance_density_lower_of_sign_bound line 26
4. theorem OAI.DepthThreeLowerBound.acceptance_density_lower_of_width_correlation line 33