<*> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
<+> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Z, Algebra.Structures.Field |
<-> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
</> | Algebra.Structures.Field |
<^> | Algebra.Structures.Ring, Algebra.Structures.CommutativeRing, Algebra.Structures.IntegralDomain, Algebra.Structures.Field |