mathlib

5e4536a9 - Merge branch 'extra-classes' into cauchy-rect