Commit 2023-05-22 18:33 7d99d4a0

View on Github →

feat: port MeasureTheory.Function.SpecialFunctions.IsROrC (#4194)

Estimated changes

added theorem AEMeasurable.im
added theorem AEMeasurable.re
added theorem IsROrC.measurable_im
added theorem IsROrC.measurable_re
added theorem Measurable.im
added theorem Measurable.re
added theorem aemeasurable_of_re_im
added theorem measurable_of_re_im