Theorem IsCompact.mul_closedBall

Modification history