Mathlib Changelog
v4
Changelog
About
Github
Theorem
EuclideanSpace.closedBall_zero_eq
Modification history
2023-10-24 09:40
Mathlib/Analysis/InnerProductSpace/PiL2.lean
feat: volume of a complex ball (#6907) …
Added
EuclideanSpace.closedBall_zero_eq
View on Github →