fact: Definition IsSetEqSafe {A B: Type} (proc: list A -> list B) := forall (seq1 seq2: list A), SetEq seq1 seq2 -> SetEq (proc seq1) (proc seq2).
imports: Coq.Setoids.Setoid Coq.Lists.List Coq.Sorting.Permutation Fiat.Common.List.FlattenList Fiat.Common.SetEq