Theorem measurable_id'

Modification history