Since Java 21, wrapper classes have played an increasingly sophisticated role in Java’s type system. Here’s everything you ...

This correspondence closes a gap in the proof of the main lemma from the paper "Just relax: Convex programming methods for identifying sparse signals in noise" (2006).