Theorem IsCompact.closedBall_one_mul

Modification history