gen fset lemma for partitions#1422

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

affeldt-aist:extra_20241203affeldt-aist/analysis:extra_20241203Copy head branch name to clipboard