A possible counter-example for theorem mathd_numbertheory_227
Wenda302 opened this issue · comments
Dear maintainers of miniF2F,
It appears to me that theorem mathd_numbertheory_227 might be not true when x=y=n=0
.
Formal to Formal Mathematics Benchmark
Wenda302 opened this issue · comments
Dear maintainers of miniF2F,
It appears to me that theorem mathd_numbertheory_227 might be not true when x=y=n=0
.