Theorem Fin.gsmul_succ'

Modification history