Theorem List.Perm.inter_left

Modification history