mathlib

34657391 - Merge branch 'nested-intervals' into cauchy-rect