algebra-4.3: Constructive abstract algebra

Index - L

lcmNumeric.Domain.GCD
leadingUnitNumeric.Algebra.Unital.UnitNormalForm
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