Commit 2026-06-16 13:55 3eb2cbf9
View on Github →feat: define the closed unit disc in the complex numbers (#40511)
The API is a minimally-edited copy-paste of that which already exists for Complex.UnitDisc.
Upstreaming this from https://alexkontorovich.github.io/CoveringSpacesProject/web/ where it is called Complex.disk.