Theorem negSucc_zsmul

Modification history