Theorem Measurable.sup_const

Modification history