fact: Definition AllOfLength_set {A} N ens := forall x, Ensembles.In _ ens x -> @List.length A (TuplesF.indexedElement x) = N.
imports: CertifiedExtraction.Utils List CertifiedExtraction.Extraction.QueryStructures.Basics