Linear.Algebra
class
Algebra
r m
class
Coalgebra
r m
multRep
unitalRep
comultRep
counitalRep