Q207505

From Wikidata
Jump to: navigation, search

lemma (Q207505) [edit]

theorem used to prove more complex theorems [edit]

No aliases defined.
    [edit]

    Statements

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