SZS status Theorem for i/f/ConseqConv/forall__eq__thm
