Yes, Themeforest is one of the services provided by Envato. As you can check on the website of Themeforest, you will be able to see there the branding of the Envato market.