leanprover-community/NNG4

Algorithm World level 6: incorrect theorem statement

Closed this issue · 0 comments

nvchhawch commented

It should be succ_ne_zero: succ(a) != 0.

Typo