sigma-algebra generated by a function#1890

affeldt-aist wants to merge 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:measure_20260309affeldt-aist/analysis:measure_20260309Copy head branch name to clipboard