SZS status Theorem for i/f/intExtension/INT__NOT0__MUL
