Theorem List.filter_true

Modification history