Theorem measurable_update

Modification history