Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-31 08:31 72634d2c

View on Github →

feat(data/complex/basic): smul_re,im

Estimated changes

Modified src/data/complex/basic.lean

added theorem complex.smul_im

added theorem complex.smul_re