https://github.com/math-comp/analysis/blob/f89df729f61600b295a928779704d3c9a34f07bd/theories/measure.v#L246C46-L246C59 `mesurableType` -> `measurableType` @yoshihiro503
