Cauchy–Binet formula

GPTKB entity