algebra-4.1: Constructive abstract algebra

Index - L

lcmNumeric.Field.Fraction
leadingUnitNumeric.Domain.Euclidean
LeftModuleNumeric.Algebra.Class, Numeric.Module.Class, Numeric.Algebra
liftProductNumeric.Coalgebra.Geometric
liftRngHomNumeric.Ring.Rng
LocallyFiniteOrderNumeric.Order.LocallyFinite, Numeric.Algebra
LocalRingNumeric.Ring.Local, Numeric.Algebra
Log 
1 (Type/Class)Numeric.Log
2 (Data Constructor)Numeric.Log