modelCondition

A model of Conditions.MathInteger.IntegerGreater.