Theorem npowRec_add

Modification history