Theorem SymAlg.sym_sub

Modification history