Generalize lemma null_set_integral
#1798
Merged
Loading
null_set_integral
#1798