Exact demonstration of off-diagonal long-range order in the ground state of a Hubbard model | Synapse