Documentation

Init.Data.Prod

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