Theorem List.of_mem_filter

Modification history