Bialternant formula

ID: bialternant-formula

Let and . Multiply the Jacobi–Trudi identity matrix by . The generating-function identity makes the product matrix . Setting shows , proving the formula as a polynomial identity.

New to topics? Read the docs here!