Assertion: linear isomorphism | /r/HasProperty | c.sup.2
Facets:
Source sentences:
text: Summing up, O is a complex linear isomorphism [C.sup.2] [congruent to] H. is a linear isomorphism , at least of real spaces (for complex linearity, see Remark 5.2).