removeTokenFromOwnerEnumeration
removeTokenFromOwnerEnumeration is an internal function used by the ERC721Enumerable extension to maintain per-owner token lists when a token is removed from an owner's account. It updates the internal ownership enumeration structures to reflect that a given tokenId is no longer owned by the given address.
It relies on the data structures _ownedTokens, a mapping from an owner address to an array of
Algorithm: It computes lastTokenIndex as balanceOf(from) - 1 and reads tokenIndex from _ownedTokensIndex[tokenId]. If tokenIndex is not
removeTokenFromOwnerEnumeration is private and is typically invoked by the token transfer or burn process, e.g., during
See also: _removeTokenFromAllTokensEnumeration and _addTokenToOwnerEnumeration.