Theorem List.pwFilter_idempotent

Modification history