Theorem: det([[1, 1], [1, 1]]) = 0 (Slater-determinant Pauli vanishing)

Theorem (Slater-Pauli canonical): when two single-particle orbitals coincide (psi_1 = psi_2), the Slater determinant reduces to the determinant of a matrix with two equal columns, vanishing identically by elementary properties of…