arguments: F:freemodule G:freemodule >> matrix
Yields the matrix representing the map F ** G --> G ** F.
Go to main index.
Go to concepts index.