Theorem selfZPow_sub_natCast

Modification history