defaultEq

BaseProperties MonadLaws

distributesOverScalarPlus

BaseVectorSpaceProperties

distributesWithPlus

BaseVectorSpaceProperties