| |||||||||||||
KASH3 Reference Manual | |||||||||||||
| |||||||||||||
FunctionLift
(
elt-ord^inf i,
elt-pls/fld^fun P
)
->
elt-fld^fun
Description | |||||||||||||
Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group |