Theorem AddChar.zpow_apply

Modification history