Theorem Associated.pow_pow

Modification history