Theorem EuclideanSpace.volume_closedBall

Modification history