Mathlib Changelog
v4
Changelog
About
Github
Theorem
Complex.measurableEquivPi_apply
Modification history
2023-10-24 09:40
Mathlib/MeasureTheory/Measure/Lebesgue/Complex.lean
feat: volume of a complex ball (#6907) …
Added
Complex.measurableEquivPi_apply
View on Github →