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