Theorem isCompact_sphere

Modification history