Theorem List.filter_false

Modification history