The API was even called the Chromecast API.
They changed it to Google Cast last March [0].
[0] http://www.techtimes.com/articles/143386/20160323/google-reb...
https://www.google.com/intl/en_us/chromecast/
https://www.google.com/intl/en_us/chromecast/tv/#?discover
Google is still branding the device as Chromecast and still heavily using the term in the marketing for the actual device.
Also, other companies make Google Cast supported hardware, such as the NVidia Shield.
https://shield.nvidia.com/blog/what-is-googlecast-chromecast
I was just clarifying for obilgic by explaining that he wasn't mistaken until more recently when Google rebranded the API.
https://www.google.com/intl/en_us/chromecast/
https://www.google.com/intl/en_us/chromecast/tv/#?discover
Google is still branding the device as Chromecast and still heavily using the term in the marketing for the actual device.
Also, other companies make Google Cast supported hardware, such as the NVidia Shield.
https://shield.nvidia.com/blog/what-is-googlecast-chromecast