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

Index - Z

zeroDomain.Algebra.Field
zeroLawsDomain.Algebra.GroupLaws