(* égalité dans bool puis sur les (Map bool) (dans bool) *)
Definition eq_bool (b0 b1 : bool) : bool :=
match b0, b1 with
| false, false => true
| false, true => false
| true, false => false
| true, true => true
end.

Lemma lem_domain_equal :
forall m0 m1 : Map bool, lem m0 m1 -> domain_equal bool bool m0 m1.