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

Index - |

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