Theorem Sym.eq_replicate_iff

Modification history