Theorem measurable_quotient_mk'

Modification history