Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.summable_conj

Modification history

2023-02-08 12:29

src/analysis/complex/basic.lean

feat(analysis/complex/basic): lemmas about tsum (#18376) …

Added complex.summable_conj View on Github →