Theorem SymAlg.unsym_inj

Modification history