removes a usage of the subst tactic, relying on idiomatic ssreflect#1

ybertot wants to merge 4 commits intomituharu:solve_Qint_spanmituharu/math-comp:solve_Qint_spanfrom

ybertot:solve_Qint_spanybertot/math-comp:solve_Qint_spanCopy head branch name to clipboard