M_shock and M_stream boundaries, above which the star formation is theoretically expected to be quenched, as is described in Sect. 5.1, shown in blue, where halo masses were converted to stellar masses using the prescription of Behroozi et al. (2013). The empirical curve of Behroozi et al. (2013) is also shown with a solid green line. For comparison, the results of this work are plotted in black. Red data represents the M₀ redshift evolution found in Popesso et al. (2023).