Theorem measurable_quotient_mk''

Modification history