Theorem List.diff_subset

Modification history