Theorem selfZPow_natCast

Modification history