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

Equations

• @instLawfulBEqProdInstBEqProd = @instLawfulBEqProdInstBEqProd.proof_1