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