gen measure_bigcup#823

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

affeldt-aist:measure_bigcup_20230117affeldt-aist/analysis:measure_bigcup_20230117Copy head branch name to clipboard