mathlib

b17070db - fix(data/real/ennreal): style and golfing (#14055)