HaskellForMaths-0.1.8: Combinatorics, group theory, commutative algebra, non-commutative algebra
Math.Projects.ChevalleyGroup.Exceptional
newtype Octonion k Source
Constructors
Instances