ParentFull threadWallWextra·Of course. I'm saying the important part is not that the class is bigger, the important part is that it's a Banach space.View on HN