fact: Definition conflicted (x y : term) : bool := match x, y with | Value n, Value n' => negb (N.eqb n n') | _, _ => false end.
imports: Coq.NArith.NArith Coq.FSets.FMaps Coq.micromega.Lia Category.Lib Category.Lib.FMapExt