(* begin hide *)
(* Compatibility *)
Notation absoption_orb := absorption_orb (only parsing).
(* end hide *)
(****************************)
(** * Properties of [implb] *)
(****************************)

Lemma xorb_false_l : forall b:bool, xorb false b = b.
Notation xorb_false := xorb_false_r (only parsing).