Fix Exercise 9.8.2 IVT counterexample statements#495

teorth merged 1 commit intoteorth:mainteorth/analysis:mainfrom

Xiaoyun-0922:fix-9-8-ivt-statementXiaoyun-0922/analysis:fix-9-8-ivt-statementCopy head branch name to clipboard