Theorem List.Perm.drop_inter

Modification history