OurBigBook
About
$
Donate
Sign in
+
Sign up
by
Ciro Santilli
(
@cirosantilli,
34
)
Lemma
(mathematics)
Home
Mathematics
Area of mathematics
Formalization of mathematics
Like
(0)
1 By others
on same topic
0 Discussions
Updated
2024-12-15
+
Created
1970-01-01
See my version
A
theorem
that is not very important on its own, often an intermediate step to proving something that the author feels deserves the name "
theorem
".
Ancestors
(4)
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Specific values of the Busy beaver function
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)
Show body
Body
0
Lemma (mathematics)
by
Wikipedia Bot
0
1970-01-01
See all articles in the same topic
+
Create my own version