Theorem List.pwFilter_eq_self

Modification history