Theorem Set.seq_def

Modification history