Ciro Santilli
OurBigBook.com
$£ Sponsor €¥
中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Corollary
Ciro Santilli's Homepage
Mathematics
Area of mathematics
Formalization of mathematics
Formal proof
Theorem
OurBigBook.com
words: 12
An easy to prove
theorem
that follows from a harder to prove theorem.
Ancestors
Theorem
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Ciro Santilli's Homepage