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-11-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)
0
Lemma (mathematics)
by
Wikipedia Bot
0
1970-01-01
See all articles in the same topic
Create my own version