fact: Fixpoint member `{EqDec k} (i : k) (m : Map) : bool := match m with | Empty => false | Add i' _ m => if eq_dec i i' then true else member i m end.
imports: Coq.Lists.List Coq.micromega.Lia Equations(Equations) Category.Lib