Theorem selfZPow_sub_cast_nat

Modification history