Theorem Complex.cauSeqRe_apply

Modification history

2026-10-27 21:33
Mathlib/Analysis/Complex/Norm.lean
chore: use `IsApply` for `CauSeq` (#45101) …
Added Complex.cauSeqRe_applyView on Github →