Def alg_equiv.symm

Modification history