Result

ApproximateProperty

rightIdentity

MonadLaws

rightIdentityEquiv

MonadLaws

ringLaws

BaseProperties

ringLawsEquiv

BaseProperties