I don't know what device you are on (maybe the layout is different on mobile), but on a desktop device, you'll have a white bar on the bottom of your screen with buttons such as "Options", "Print", "Download", "Share" etc.
If you click on "Download", you'll be able to download your family tree in different formats, including GEDCOM.
Hope this helps!