derive row_mx#1866

affeldt-aist wants to merge 4 commits into

math-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:derive_row_mx_20260302affeldt-aist/analysis:derive_row_mx_20260302Copy head branch name to clipboard