Theorem Complex.measurableEquivRealProd_symm_apply

Modification history

2023-10-24 09:40
Mathlib/MeasureTheory/Measure/Lebesgue/Complex.lean
feat: volume of a complex ball (#6907) …
Added Complex.measurableEquivRealProd_symm_applyView on Github →