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.