CookLevin.test_dummy_lemma_reduction_child
ProvedReduction child lemma for CookLevin.test_dummy_lemma
Formal statement
theorem CookLevin.test_dummy_lemma_reduction_child (n : Nat) : n = n := by sorry
Reduction child lemma for CookLevin.test_dummy_lemma
theorem CookLevin.test_dummy_lemma_reduction_child (n : Nat) : n = n := by sorry