Commit 2024-11-14 11:25 fd92bc36
View on Github →feat(KrullDimension): height characterizations (#19003) Next parts from PR #15524: obtaining certain series given the element's heights, and characterizations of height in terms of the height of the elements below it. From the Carleson project