Mathlib Changelog
v4
Changelog
About
Github
Theorem
Complex.UnitDisc.coe_star
Modification history
2026-01-07 06:27
Mathlib/Analysis/Complex/UnitDisc/Basic.lean
chore(UnitDisc): review API (#33639) …
Added
Complex.UnitDisc.coe_star
View on Github →