Theorem List.inter_subset_left

Modification history