Def alg_equiv.aut_congr

Modification history