lemmas set_map_of_compr, map_of_inject_set
lemmas set_map_of_compr, map_of_inject_set

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