Mathlib Changelog
v4
Changelog
About
Github
Theorem
Complex.UnitDisc.mk_zero
Modification history
2025-04-19 07:26
Mathlib/Analysis/Complex/UnitDisc/Basic.lean
chore(Normed/Field/UnitBall): review instances (#24188)
Added
Complex.UnitDisc.mk_zero
View on Github →