Theorem measurable_updateFinset_left

Modification history