Theorem measurable_id

Modification history