Theorem SymAlg.sym_inv

Modification history