removed some finiteness conditions from bag_of/sublist theorems
removed some finiteness conditions from bag_of/sublist theorems

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle