Theorem IsCompact.div_closedBall

Modification history