Ciro Santilli
🔗

Complex number | 🗖 nosplit | ↑ parent "Formalization of Mathematics" | 35

🔗
An ordered pair of two real numbers with addition and multiplication defined to match whatever bullshit formula they taught you in school.
🔗
TODO visual interpretations.
🔗
🔗