Removed coq version dependency in mathcomp