Theorem List.pwFilter_subset

Modification history