Theorem SymAlg.unsym_ne_one_iff

Modification history