Assertion: unitization | /r/HasProperty | direct sum of 𝐑 and 𝐀
Facets:
value: as a module
type: MANNER
Source sentences:
text: Then, as a module, the unitization of 𝐀 is the direct sum of 𝐑 and 𝐀 : 𝐀 + = 𝐑 ⊕ 𝐀