Theorem SymAlg.unsym_sub

Modification history