Theorem AddConstMap.pow_apply

Modification history