Theorem IsCompact.cthickening_eq_bUnion_closedBall

Modification history