[next] [prev] [prev-tail] [tail] [up]
assume( A::AndProp(NonZero,constant) );
Now can use is(A,constant);
is(A,constant);
[next] [prev] [prev-tail] [front] [up]