Theorem Cardinal.power_mul

Modification history