times | Numeric.Algebra |
timesRep | Numeric.Algebra |
toEnd | Numeric.Ring.Endomorphism |
toNatural | Numeric.Natural.Internal, Numeric.Algebra |
TriviallyInvolutive | Numeric.Algebra |
TriviallyInvolutiveAlgebra | Numeric.Algebra |
TriviallyInvolutiveBialgebra | Numeric.Algebra |
TriviallyInvolutiveCoalgebra | Numeric.Algebra |