Ctrl
K
Select a result to preview
Let C be the class of A-modules of finite length. Then the length ℓ is 1;;an additive function on this class.