Theorem Measurable.max

Modification history