MathComp Analysis 0.3.0
Compatible with MathComp 1.11+beta1.
The biggest change of this release is compatibility with MathComp 1.11+beta1. The latter introduces in particular ordered types.
All norms and absolute values have been unified, both in their denotation `|_| and in their theory.