arguments: F:freemodule >> vector
Yields the zero vector of F.
Go to main index.
Go to concepts index.