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