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

Ancestors (6)

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

View article source

Discussion (0)

+ New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Corollary by Wikipedia Bot 0 1970-01-01
Read the full article
See all articles in the same topic + Create my own version