Screening for breakthroughs: Omitted proofs

Abstract

This document contains all proofs omitted from our working paper 'Screening for breakthroughs'; specifically, the March 2025 version of the paper (arXiv:2011.10090v9).