Theorem SymAlg.unsym_symm

Modification history