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

(***************************)
(** * Properties of [xorb] *)
(***************************)
(** [false] is neutral for [xorb] *)
Lemma xorb_false_r : forall b:bool, xorb b false = b.