by Ciro Santilli (@cirosantilli, 32)
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

  1. Formalization of mathematics
  2. Area of mathematics
  3. Mathematics
  4. Index

Incoming links

Discussion (0)

Sign up or sign in create discussions.

There are no discussions about this article yet.

View article source