Single-cell omic technologies such as single-cell RNA sequencing (scRNA-seq) and spatial transcriptomics (ST) have transformed our ability to dissect cellular heterogeneity within complex tissues.

We introduce real induction, a proof technique analogous to Mathematical Induction but applicable to statements indexed by an interval on the real line. We apply these principles to give streamlined, ...