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

Equations

• @instLawfulBEqProdInstBEqProd = @instLawfulBEqProdInstBEqProd.proof_1