HaskellForMaths-0.1.3
Math.Projects.ChevalleyGroup.Exceptional
newtype Octonion k Source
Constructors
Instances