You are correct. The simple example below reveals that the mousenter is unbound but the mouseleave event remains.
Looking at the jquery code, when binding events, the type (’mouseenter mouseleave’) string is split at space characters, while unbinding does not.