Theorem isComplete_iUnion_separated

Modification history