Theorem Cardinal.power_nat_eq

Modification history