bigcup_ointsub disjoint#1743

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:bigcup_ointsub_20251014affeldt-aist/analysis:bigcup_ointsub_20251014Copy head branch name to clipboard