ideas-math-types-1.0: Common types for mathematical domain reasoners

Index - |

|*|Domain.Algebra.Field
|+|Domain.Algebra.Field
|-|Domain.Algebra.Field
|/|Domain.Algebra.Field