This is correct for a half-closed interval https://mathworld.wolfram.com/Half-Cl...

		asgeir on April 5, 2021 \| parent \| context \| favorite \| on: Google’s copying of the Java SE API was fair use [... This is correct for a half-closed interval https://mathworld.wolfram.com/Half-ClosedInterval.html