Theorem measurable_pi_apply

Modification history