Math.Algebras.GroupAlgebra

type GroupAlgebra k

p

data X a

inv

maybeInverse