Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.smul_re:

Modification history

2019-03-31 21:33
src/ring_theory/algebra.lean
fix(ring_theory/algebra): remove duplicate theorems to fix build
Deleted complex.smul_re:View on Github →
2019-03-29 15:03
src/ring_theory/algebra.lean
feat(analysis/convex): convex sets and functions (#834)
Added complex.smul_re:View on Github →