Mathematical English Usage - a Dictionary

by Jerzy Trzeciak

superfluous

[see also: redundant

We now prove that the positivity assumption is in fact superfluous.