Theorem List.filter_comm

Modification history