Theorem IsCompact.bddAbove_image

Modification history