Theorem List.Perm.subset_congr_right

Modification history