Theorem SymAlg.sym_injective

Modification history