Theorem SymAlg.unsym_neg

Modification history