Theorem SymAlg.sym_bijective

Modification history