Jump to content

lemma (Q207505)

From Wikidata
theorem for proving more complex theorems
  • helping theorem
edit
Language Label Description Also known as
default for all languages
No label defined
    English
    lemma
    theorem for proving more complex theorems
    • helping theorem

    Statements

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit