Description Usage Arguments Value
Label 'term' objects
1 | subterms(node)
|
a |
std form formula |
formula with labelled calls to 'term' function.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.