Theorem IsCompact.closedBall_one_div

Modification history