OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
32
)
Theorem
Table of contents
Corollary
Corollary
Theorem
An easy to prove
theorem
that follows from a harder to prove theorem.
Ancestors
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Index
Incoming links
Conjecture
Corollary
Formal proff is useless
Independence
Lemma
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source