Theorem isSeqClosed_of_seqClosure_eq

Modification history