| |||||||||||||
![]() | 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 |