Theorem SequentiallyComplete.setSeq_sub_aux

Modification history