SZS status Theorem for i/f/intto/neg__ZERO__eq__ZERO__thm
