Math.Projects.ChevalleyGroup.Exceptional

data Octonion k

i1

i2

i3

i4

i5

i6

i0

g2_3