Theorem Measurable.inf_const

Modification history