Theorem List.Perm.subset_congr_left

Modification history