A deep HST view of the open cluster NGC 2158: Binaries, mass functions, and M-dwarf discontinuity | Synapse