chore: weaken definiteness assumptions for Real interpolation#532

fpvandoorn merged 1 commit intomasterfpvandoorn/carleson:masterfrom

eseminormfpvandoorn/carleson:eseminormCopy head branch name to clipboard