Theorem Cardinal.power_natCast

Modification history