lemma (Q18241): Difference between revisions

From Azupedia
Jump to navigation Jump to search
Created a new Item: lemma, theorem for proving more complex theorems
(No difference)

Revision as of 14:41, 3 January 2024

theorem for proving more complex theorems
  • helping theorem
Language Label Description Also known as
English
lemma
theorem for proving more complex theorems
  • helping theorem

Statements