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

Index - .

.&&.Domain.Algebra.SmartGroup, Domain.Logic.Views
.*.Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr
.+.Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr
.-.Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr
.->.Domain.Logic.Views
./.Domain.Algebra.SmartGroup, Domain.Math.Expr.Views, Domain.Math.Expr
./=.Domain.Math.Data.Relation
.<->.Domain.Logic.Views
.<.Domain.Math.Data.Relation
.<=.Domain.Math.Data.Relation
.==.Domain.Math.Data.Relation
.>.Domain.Math.Data.Relation
.>=.Domain.Math.Data.Relation
.^.Domain.Math.Expr.Views, Domain.Math.Expr
.||.Domain.Algebra.SmartGroup, Domain.Logic.Views
.~=.Domain.Math.Data.Relation