Algebra.Ring

Class

class C a

Complex functions

Properties

propAssociative

propLeftDistributive

propRightDistributive

propLeftIdentity

propRightIdentity

propPowerCascade

propPowerProduct

propPowerDistributive

propCommutative