Theorem Sym.replicate_right_injective

Modification history