OAI/Computability/DepthThree/CylinderProbability.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DepthThreeLowerBound.finiteAvg_eq_pattern line 18
2. theorem OAI.DepthThreeLowerBound.finiteAvg_indicator_eq_pattern line 46