Theorem Sym.replicate_succ

Modification history