`is_derive`/`is_diff` for matrices #5102

Job	Run time
rocq-elpi	58s
rocq-core	54s
coq-elpi	50s
coq	53s
stdlib	56s
mathcomp-finmap	51s
mathcomp-bigenough	52s
hierarchy-builder	51s
mathcomp-classical	3m 7s
mathcomp-analysis-single	18m 39s
mathcomp	53s
mathcomp-reals	4m 30s
mathcomp-reals-stdlib	1m 36s
mathcomp-analysis	16m 3s
mathcomp-experimental-reals	1m 59s
mathcomp-analysis-stdlib	16m 56s
	1h 10m 48s

Provide feedback