Theorem Fin.nsmul_succ'

Modification history