Theorem Pi.pow_apply

Modification history