fact: Definition term_beq (x y : term) : bool := match x, y with | Var x, Var y => (x =? y)%positive | Value x, Value y => (x =? y)%N | _, _ => false end.
imports: Coq.NArith.NArith Coq.FSets.FMaps Coq.micromega.Lia Category.Lib Category.Lib.FMapExt