generalized measurable_fun_itv_(bndo_bndc/obnd_cbnd)#1662

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

IshiguroYoshihiro:measurable_fun_itv_bnd_20250701IshiguroYoshihiro/analysis:measurable_fun_itv_bnd_20250701Copy head branch name to clipboard