Skip to content

Merge branch 'unit-disc-shift' of https://github.com/urkud/mathlib4 i…

a131fdb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: define Complex.UnitDisc.shift #33368

Merge branch 'unit-disc-shift' of https://github.com/urkud/mathlib4 i…
a131fdb
Select commit
Loading
Failed to load commit list.
post-or-update-summary-comment
succeeded Jan 1, 2026 in 1m 2s