Theorem SymAlg.sym_mul_self

Modification history