fact: Definition CountingListAsBag_bdelete (container : CountingList) (search_terms : TItem -> bool) := let (d, r) := (CountingListPartition (ccontents container) (search_terms)) in (ccontents d, r).
imports: Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Coq.Arith.Arith Fiat.Common.List.ListFacts