mathlib

29219ecb - feat(algebra/order/interval): Multiplication of intervals