Theorem Vector.replicate_succ

Modification history