This is my attempt to give a somewhat rigorous derivation of the partial likelihood. If you think you found a mistake, or have a better derivation of the partial likelihood, please share this information.
Get course materials on my website: https://meerkatstatistics.com/courses/survival-analysis/