Theorem List.Perm.foldr_eq

Modification history