Linearity and uniqueness (via soareschen) — discussion

#plt