instance instLawfulBEqProdInstBEqProd {α : Type u_1} {β : Type u_2} [BEq α] [BEq β] [LawfulBEq α] [LawfulBEq β] : LawfulBEq (α × β)

Equations

• (_ : LawfulBEq (α × β)) = (_ : LawfulBEq (α × β))