fact: Fixpoint lset_contains (v : T) (ls : lset T) : bool := match ls with | nil => false | l :: ls => if R_dec v l then true else lset_contains v ls end.
imports: List ExtLib.Structures.Sets ExtLib.Core.RelDec ExtLib.Data.List ExtLib.Structures.Reducible