Fix IVT statement typo in Theorem 9.7.1#493

teorth merged 1 commit into

teorth:mainteorth/analysis:mainfrom

rkirov:upstream-9.7-ivt-typorkirov/analysis:upstream-9.7-ivt-typoCopy head branch name to clipboard