mathlib

d5cb2b00 - Merge branch 'pointwise_interval' into sup