Theorem IsCompact.div_closedBall_one

Modification history