Theorem measurable_const

Modification history