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

Real number ()

| 🗖 nosplit | ↑ parent "Formalization of Mathematics" | words: 13 | descendant words: 13 | descendants: 4
🔗
A good definition is by using Dedekind cuts.
🔗
🔗

Ancestors

🔗