making is_derive_mx instance causes loops - #2074

making is_derive_mx instance causes loops#2074

affeldt-aist wants to merge 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:derive_20260806affeldt-aist/analysis:derive_20260806Copy head branch name to clipboard