Theorem List.pwFilter_nil

Modification history