mathlib3

ea112c67 - Merge branch 'inl_initial_seg' into initial_seg_golf