fact: Example map_decide_test x y f : M.MapsTo (elt:=N) (x, y) f (M.add (0%N, 0%N) 0%N (M.add (1%N, 1%N) 1%N (M.empty _))) -> M.MapsTo (elt:=N) (x, y) f (M.add (0%N, 0%N) 0%N (M.add (1%N, 1%N) 1%N (M.empty _))).
imports: Coq.NArith.NArith Category.Lib Category.Lib.MapDecide Category.Theory.Metacategory.ArrowsOnly