Item:Q5541: Difference between revisions
Created a new Item: graded module, module decomposed into a direct sum of numbered submodules |
Created claim: subclass of (P1): module (Q5536) |
||
| Property / subclass of | |||
| Property / subclass of: module / rank | |||
Normal rank | |||