Recent IOS update
does the recent update IOS 13.5.1 contain the contact tracing app?
iPhone 11, iOS 13
No. The API's to developers were relased with iOS 13.5 version, but YOU have to choose (and download) the appropriate app in your country (if you want to).
Regards
Giulio