Theorem IsCompact.closedBall_mul

Modification history