Q207505

From Wikidata
Jump to: navigation, search

lemma(Q207505)

theorem used to prove more complex theorems
    No aliases defined
[edit]
Language Label Description Also known as
English
lemma
theorem used to prove more complex theorems

    Statements

    /m/04qjp
    1 reference
    0 references
    0 references
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]