Theorem npowRec_succ

Modification history