Theorem isCompact_diagonal

Modification history