Theorem SequentiallyComplete.seq_pair_mem

Modification history