lemma (theorem subclass) (Q6481077)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Unfortunately, we do not yet have an article page for this item.
theorem for proving more complex theorems
- helping theorem
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | lemma (theorem subclass) |
theorem for proving more complex theorems |
|
