fact: Definition IncludedInA := inclA X_eq.
imports: Coq.Arith.Peano_dec Coq.Structures.OrderedTypeEx Coq.Lists.SetoidList Fiat.Common Fiat.Common.DecideableEnsembles Fiat.Common.String_as_OT Fiat.Common.List.ListFacts Fiat.Common.List.FlattenList Fiat.Common.SetEqProperties Fiat.Common.FMapExtensions Fiat.Common.List.PermutationFacts Fiat.QueryStructure.Specification.Representation.QueryStructureNotations