Theorem List.Perm.bag_inter_right

Modification history