by Ciro Santilli (@cirosantilli, 32)
An easy to prove theorem that follows from a harder to prove theorem.

Ancestors

  1. Theorem
  2. Formal proof
  3. Formalization of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Index

Discussion (0)

Sign up or sign in create discussions.

There are no discussions about this article yet.

View article source