Theorem List.Perm.inter_append

Modification history