ThmDex – An index of mathematical definitions, results, and conjectures.

Result R3543 on D993: Real number
Subresult of R4117: Endpoint bounds for real linear combination

Endpoint bounds for real affine combination

Also known as

Union and intersection bounds for real affine combination

Subresults

▶	R3545: Endpoint bounds for real convex combination