Theorem List.pwFilter_sublist

Modification history