Theorem ZNum.zneg_succ

Modification history