Package: mathcomp-algebra-tactics