Theorem Cardinal.nat_power_eq

Modification history