8.3.1 modules.free_module_morphism - Morphisms of free modules

The module modules.free_module_morphism defines the following classes:

class FreeModuleMorphism



Subsections
See About this document... for information on suggesting changes.