fact: Definition eq_equiv : Equivalence eq := _.
imports: Fiat.FiniteSetADTs.FiniteSetADT Coq.Strings.String Coq.Sets.Ensembles Coq.Sets.Finite_sets Coq.Lists.List Coq.Sorting.Permutation Coq.MSets.MSetInterface Coq.MSets.MSetAVL Coq.MSets.MSetList Coq.MSets.MSetRBT Fiat.ADT Fiat.ADT.ComputationalADT Fiat.ADTRefinement.Core Fiat.ADTNotation Fiat.ADTRefinement.GeneralRefinements Fiat.Common.IterateBoundedIndex Fiat.Common.Ensembles.EnsembleListEquivalence