Binet–Cauchy identity

GPTKB entity