Theorem IsCompact.inter_right

Modification history