Remove unnecessary override of membership operator

Redefinition is not necessary as it has the same behavior as the base
class.