Commit 2024-11-15 14:42 f9aff52f
View on Github →feat: uIoo
(#19050)
This PR is the first in a series which breaks #9598 (proving that holomorphic functions on disks have primitives) into smaller pieces. This piece introduces the notation uIoo
(unordered Interval, open-open) which is the oo
analog of uIcc
. Then we prove the analogous API theorems to those available for uIcc
.