Fix the Rocq statements of 1962 A2, A6 and B5 (#358) - #360

Fix the Rocq statements of 1962 A2, A6 and B5 (#358)#360

GeorgeTsoukalas merged 1 commit into

maintrishullab/PutnamBench:mainfrom

fix-rocq-1962-statementstrishullab/PutnamBench:fix-rocq-1962-statementsCopy head branch name to clipboard