algebra-4.3.1: Constructive abstract algebra

Index - O

oneNumeric.Algebra.Unital, Numeric.Algebra
oneRepNumeric.Module.Representable, Numeric.Algebra
Opposite 
1 (Type/Class)Numeric.Ring.Opposite
2 (Data Constructor)Numeric.Ring.Opposite
OrderNumeric.Order.Class, Numeric.Algebra
orderNumeric.Order.Class, Numeric.Algebra
OrderedRigNumeric.Rig.Ordered, Numeric.Algebra
orderOrdNumeric.Order.Class
outerNumeric.Coalgebra.Geometric