Yes, the user exists in the Auth0 database. When you switch on the Import users to Auth0 toggle, it enables trickle migration AKA automatic migration.
The migration happens when a user who is not found in the Auth0 database logs in for the first time. Once that happens, you can verify that they have migrated by calling the Management API get users endpoint or on the Auth0 Dashboard > User management > Users.