is_derive_mulmx#2040

yosakaon wants to merge 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

yosakaon:16juilyosakaon/analysis:16juilCopy head branch name to clipboard