Theorem IsCompact.binary_compact_cover

Modification history