OAI/Computability/DepthThree/CircuitQuantitative.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.DepthThreeLowerBound.circuit_lower_bound_of_small_cnf_correlationsline 10
OAI/Computability/DepthThree/CircuitQuantitative.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.DepthThreeLowerBound.circuit_lower_bound_of_small_cnf_correlations line 10