Sylvester's determinant theorem

GPTKB entity