algebra-4.3.1: Constructive abstract algebra

Index - M

Map 
1 (Type/Class)Numeric.Map
2 (Data Constructor)Numeric.Map
maybeQuotNumeric.Domain.Integral
metricNumeric.Coalgebra.Geometric
minusRepNumeric.Module.Representable, Numeric.Algebra
ModuleNumeric.Algebra.Class, Numeric.Module.Class, Numeric.Algebra
moebiusNumeric.Algebra.Incidence
moebius'Numeric.Coalgebra.Incidence
moebiusInversionNumeric.Order.LocallyFinite
MonoidalNumeric.Algebra.Class, Numeric.Algebra
Morphism 
1 (Type/Class)Numeric.Coalgebra.Categorical
2 (Data Constructor)Numeric.Coalgebra.Categorical
mulRepNumeric.Module.Representable, Numeric.Algebra
multNumeric.Algebra.Class, Numeric.Algebra
MultiplicativeNumeric.Algebra.Class, Numeric.Algebra
multMNumeric.Covector, Numeric.Algebra
multMapNumeric.Map