Imaginary part of a complex number

Set

context $z\in \mathbb C$
postulate $\mathrm{Im}(z)\equiv \frac{z-\bar z}{2i}$

Ramifications

Parents

Complex conjugate of a complex number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms