Theorem powers.mul_mem

Modification history