Theorem Measurable.pow

Modification history