Theorem Nat.maxPowDiv.base_pow_mul

Modification history