Theorem SymAlg.sym_smul

Modification history