Theorem Sym.eq_replicate

Modification history