Theorem Sym2.diag_injective

Modification history