mathlib

0e369835 - Merge branch 'ordered_semimodule_mixin' into cauchy-rect