Theorem List.mem_filter

Modification history