algebra-4.2: Constructive abstract algebra

Index - A

AbelianNumeric.Additive.Class, Numeric.Algebra
AdditiveNumeric.Additive.Class, Numeric.Algebra
AdditiveOrderNumeric.Order.Additive, Numeric.Algebra
addRepNumeric.Module.Representable, Numeric.Algebra
adjointNumeric.Algebra.Involutive, Numeric.Algebra
AlgebraNumeric.Algebra.Class, Numeric.Algebra
antiEuclideanNumeric.Coalgebra.Geometric
antipodeNumeric.Algebra.Hopf, Numeric.Algebra
antipodeMNumeric.Covector, Numeric.Algebra
antipodeMapNumeric.Map
appEndNumeric.Ring.Endomorphism