Leases - Additional Information (Details) $ in Billions	6 Months Ended
	Nov. 30, 2019 USD ($)
Lessee Lease Description [Line Items]
Additional leases not yet commenced, undiscounted future payments	$ 1.6
Minimum [Member]
Lessee Lease Description [Line Items]
Operating lease commencement date	2020
Maximum [Member]
Lessee Lease Description [Line Items]
Operating lease commencement date	2022