Generalize lemma `null_set_integral`#1798

affeldt-aist merged 3 commits intomath-comp:mastermath-comp/analysis:masterfrom

Yosuke-Ito-345:null_set_int_genYosuke-Ito-345/analysis:null_set_int_genCopy head branch name to clipboard