Theorem selfZpow_sub_cast_nat

Modification history