Package: mathcomp-analysis