is_derive/is_diff for matrices#1891

affeldt-aist wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:robot_rocq_20260122_questionaffeldt-aist/analysis:robot_rocq_20260122_questionCopy head branch name to clipboard