]]>
DavidRoberts comments on "inner product space" (98224)https://nforum.ncatlab.org/discussion/14061/?Focus=98224#Comment_982242022-05-06T12:13:14+00:002024-03-28T23:50:51+00:00DavidRobertshttps://nforum.ncatlab.org/account/42/
Added example of simple Lie algebras with the negative of the Killing form
diff, v23, current
Added example of simple Lie algebras with the negative of the Killing form