fact: Parameter remove_neq_o : forall m x y, ~ E.eq x y -> find y (remove x m) = find y m.
imports: Coq(ZArith) Coq(FMapInterface FMapPositive) Coq(FMapList FMapFacts) Coq(String Ascii List) StructTact(StructTactics StringOrders)