Theorem Filter.seq_eq_filter_seq

Modification history