move is_deriveV and is_derive1_comp to derive.v #2025

affeldt-aist merged 3 commits into

math-comp:mastermath-comp/analysis:masterfrom

amolinamounier:der_instance_movesamolinamounier/mathcomp-analysis:der_instance_movesCopy head branch name to clipboard