Theorem IsCompact.reProdIm

Modification history