include "logic/equality.ma".
(* Inclusion of: GRP168-2.p *)
(* -------------------------------------------------------------------------- *)
(* File : GRP168-2 : TPTP v3.1.1. Bugfixed v1.2.1. *)
(* Domain : Group Theory (Lattice Ordered) *)
include "logic/equality.ma".
(* Inclusion of: GRP168-2.p *)
(* -------------------------------------------------------------------------- *)
(* File : GRP168-2 : TPTP v3.1.1. Bugfixed v1.2.1. *)
(* Domain : Group Theory (Lattice Ordered) *)