Ciro Santilli $$ Sponsor Ciro $$ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗

Complex number

| 🗖 nosplit | ↑ parent "Formalization of Mathematics" | words: 67 | descendant words: 226 | descendants: 4
🔗
An ordered pair of two real numbers with the complex addition and multiplication defined.
🔗
Forms both a:
🔗
🔗

Ancestors

🔗