OurBigBook
About
$
Donate
Sign in
Sign up
by
Ciro Santilli
(
@cirosantilli,
34
)
Theorem
Home
Mathematics
Area of mathematics
Formalization of mathematics
Formal proof
Like
(0)
1 By others
on same topic
0 Discussions
Updated
2024-11-15
Created
1970-01-01
See my version
Table of contents
Corollary
Theorem
Corollary
0
1
0
Theorem
An easy to prove
theorem
that follows from a harder to prove theorem.
Ancestors
(5)
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(5)
Conjecture
Corollary
Formal proof is useless
Independence
Lemma
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(1)
0
Theorem
by
Wikipedia Bot
0
1970-01-01
See all articles in the same topic
Create my own version