Def Complex.UnitDisc.conj

Modification history

2023-05-25 17:58

Mathlib/Analysis/Complex/UnitDisc/Basic.lean

feat: port Analysis.Complex.UnitDisc.Basic (#4180)

Added Complex.UnitDisc.conj View on Github →