Theorem Cardinal.mul_power

Modification history