Sylvester's determinant theorem

  1. REDIRECT Weinstein–Aronszajn identity

{{R from move}}