SZS status Theorem for i/f/lebesgue/lemma__fn__upper__bounded
