| Aliases |
| Syntax |
Aliases():TAGGED("Aliases")
|
| Description |
| Example |
Alias LL := $abcd; Aliases(); Coclib = $coclib Approx = $approx ---> Output suppressed <--- TP = $contrib/thmproving TV = $contrib/typevectors LL = $abcd ------------------------------- |
| See Also |