Documentation

Init.Data.Prod

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