Commit 2025-01-02 10:14 38800e14

View on Github →

chore: protect Measurable.exp (#20390) … and adjacent theorems. This avoids exp being ambiguous between Real.exp and Measurable.exp.

Estimated changes

deleted theorem Measurable.carg
deleted theorem Measurable.ccos
deleted theorem Measurable.ccosh
deleted theorem Measurable.cexp
deleted theorem Measurable.clog
deleted theorem Measurable.cos
deleted theorem Measurable.cosh
deleted theorem Measurable.csin
deleted theorem Measurable.csinh
deleted theorem Measurable.exp
deleted theorem Measurable.log
deleted theorem Measurable.sin
deleted theorem Measurable.sinh
deleted theorem Measurable.sqrt