eeLift
eeLift(f,R)
-- lift a ring element
f
to the ring
R
.
Go to
main index
.
Go to
concepts index
.