Natural proofs restrictions apply structurally regardless of PRF existence; they constrain proof tec...
This proposition has not been edited since the history system was added.